cvs commit: ports/math/proofgeneral Makefile distinfo 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 patch-isa_isabelle-system.el

[Sergey Matveychuk]

sem         2006-05-01 18:00:51 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile patch-doc-Makefile 
                            patch-doc-Makefile.doc 
                            patch-etc_desktop_proofgeneral.desktop 
                            patch-generic-proof-menu.el 
                            patch-isa_isabelle-system.el 
  Log:
  - Update to 3.6
  
  PR:             ports/94670
  Submitted by:   maintainer
  
  Revision  Changes    Path
  1.4       +4 -11     ports/math/proofgeneral/Makefile
  1.3       +2 -3      ports/math/proofgeneral/distinfo
  1.2       +31 -34    ports/math/proofgeneral/files/patch-Makefile
  1.2       +0 -13     ports/math/proofgeneral/files/patch-doc-Makefile
  1.2       +5 -5      ports/math/proofgeneral/files/patch-doc-Makefile.doc
  1.2       +8 -8      ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
  1.2       +0 -15     ports/math/proofgeneral/files/patch-generic-proof-menu.el
  1.2       +3 -3      ports/math/proofgeneral/files/patch-isa_isabelle-system.el
  1.4       +73 -16    ports/math/proofgeneral/pkg-plist