cvs commit: ports/math/isabelle Makefile pkg-install pkg-plist ports/math/isabelle/files badmaxdsiz patch-etc-settings polyml-4.1.4-patch.ML polyml-4.2.0.ML polyml-5.0.ML proofgeneral-settings.el run-polyml-5.0

[Martin Wilke]

miwi        2007-03-22 11:32:00 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile pkg-plist 
    math/isabelle/files  patch-etc-settings 
  Added files:
    math/isabelle/files  polyml-5.0.ML proofgeneral-settings.el 
                         run-polyml-5.0 
  Removed files:
    math/isabelle        pkg-install 
    math/isabelle/files  badmaxdsiz polyml-4.1.4-patch.ML 
                         polyml-4.2.0.ML 
  Log:
  - Fix crash with lang/polyml.
  
  PR:             109958
  Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
  
  Revision  Changes    Path
  1.4       +14 -16    ports/math/isabelle/Makefile
  1.2       +0 -18     ports/math/isabelle/files/badmaxdsiz (dead)
  1.3       +1 -1      ports/math/isabelle/files/patch-etc-settings
  1.2       +0 -31     ports/math/isabelle/files/polyml-4.1.4-patch.ML (dead)
  1.2       +0 -9      ports/math/isabelle/files/polyml-4.2.0.ML (dead)
  1.1       +33 -0     ports/math/isabelle/files/polyml-5.0.ML (new)
  1.1       +17 -0     ports/math/isabelle/files/proofgeneral-settings.el (new)
  1.1       +93 -0     ports/math/isabelle/files/run-polyml-5.0 (new)
  1.2       +0 -23     ports/math/isabelle/pkg-install (dead)
  1.4       +2 -2      ports/math/isabelle/pkg-plist