cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files Makefile patch-etc-settings patch-lib-Tools-doc polyml-4.1.4-patch.ML polyml-4.2.0.ML

[Sergey Matveychuk]

sem         2006-05-01 18:01:58 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile distinfo pkg-plist 
    math/isabelle/files  Makefile patch-etc-settings 
  Added files:
    math/isabelle/files  polyml-4.1.4-patch.ML polyml-4.2.0.ML 
  Removed files:
    math/isabelle/files  patch-lib-Tools-doc 
  Log:
  - Update to 2005
  
  PR:             ports/94671
  Submitted by:   maintainer
  
  Revision  Changes      Path
  1.2       +26 -24      ports/math/isabelle/Makefile
  1.2       +6 -6        ports/math/isabelle/distinfo
  1.2       +10 -11      ports/math/isabelle/files/Makefile
  1.2       +32 -96      ports/math/isabelle/files/patch-etc-settings
  1.2       +0 -10       ports/math/isabelle/files/patch-lib-Tools-doc (dead)
  1.1       +31 -0       ports/math/isabelle/files/polyml-4.1.4-patch.ML (new)
  1.1       +9 -0        ports/math/isabelle/files/polyml-4.2.0.ML (new)
  1.2       +3517 -3423  ports/math/isabelle/pkg-plist