cvs commit: ports/math Makefile ports/math/proofgeneral Makefile distinfo pkg-descr pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-generic-proof-menu.el pkg-message.in

[Simon Barner]

barner      2005-08-31 10:36:36 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/proofgeneral    Makefile distinfo pkg-descr pkg-plist 
    math/proofgeneral/files patch-Makefile patch-doc-Makefile 
                            patch-doc-Makefile.doc 
                            patch-etc_desktop_proofgeneral.desktop 
                            patch-generic-proof-menu.el 
                            pkg-message.in 
  Log:
  Add proofgeneral 3.5, a generic interface for proof assistants.
  
  PR:             84788
  Submitted by:   Timothy Bourke <timbob at bigpond.com>
  
  Revision  Changes    Path
  1.340     +1 -0      ports/math/Makefile
  1.1       +76 -0     ports/math/proofgeneral/Makefile (new)
  1.1       +2 -0      ports/math/proofgeneral/distinfo (new)
  1.1       +179 -0    ports/math/proofgeneral/files/patch-Makefile (new)
  1.1       +13 -0     ports/math/proofgeneral/files/patch-doc-Makefile (new)
  1.1       +17 -0     ports/math/proofgeneral/files/patch-doc-Makefile.doc (new)
  1.1       +11 -0     ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop (new)
  1.1       +15 -0     ports/math/proofgeneral/files/patch-generic-proof-menu.el (new)
  1.1       +9 -0      ports/math/proofgeneral/files/pkg-message.in (new)
  1.1       +13 -0     ports/math/proofgeneral/pkg-descr (new)
  1.1       +380 -0    ports/math/proofgeneral/pkg-plist (new)