cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-message.in

[Rong-En Fan]

rafan       2008-04-04 12:13:33 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc 
                            patch-isa_isabelle-system.el 
                            pkg-message.in 
  Log:
  - Update to 3.7
  
  PR:             ports/120987
  Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
  
  Revision  Changes    Path
  1.19      +3 -3      ports/math/proofgeneral/Makefile
  1.6       +3 -3      ports/math/proofgeneral/distinfo
  1.6       +51 -42    ports/math/proofgeneral/files/patch-Makefile
  1.3       +10 -10    ports/math/proofgeneral/files/patch-doc-Makefile.doc
  1.3       +0 -13     ports/math/proofgeneral/files/patch-isa_isabelle-system.el
  1.2       +1 -1      ports/math/proofgeneral/files/pkg-message.in
  1.9       +525 -505  ports/math/proofgeneral/pkg-plist