cvs commit: ports/math/isabelle Makefile distinfo pkg-plist
ports/math/isabelle/files patch-bin-isabelle_process patch-build
patch-etc-settings patch-lib-Tools-browser patch-lib-Tools-codegen
patch-lib-Tools-display patch-lib-Tools-findlogics patch-lib-Tools-keywords
...
Rong-En Fan
rafan at FreeBSD.org
Fri Apr 4 12:15:23 UTC 2008
rafan 2008-04-04 12:15:22 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile distinfo pkg-plist
math/isabelle/files patch-bin-isabelle_process patch-build
patch-etc-settings
patch-lib-Tools-browser
patch-lib-Tools-display
patch-lib-Tools-findlogics
patch-lib-Tools-makeall
patch-lib-Tools-mkdir
patch-lib-Tools-usedir
patch-lib-Tools-version
patch-lib-scripts-getsettings
patch-lib-scripts-polyml_platform
patch-lib-scripts-polyml_version
patch-lib-scripts-run_polyml
patch-lib-scripts-run_smlnj
patch-src-Pure-mk
Added files:
math/isabelle/files patch-lib-Tools-codegen
patch-lib-Tools-keywords
patch-lib-Tools-mkproject
patch-lib-scripts-configure
patch-lib-scripts-fileindent
patch-lib-scripts-run_polyml_5.0
patch-lib-scripts-run_polyml_5.1
patch-lib-scripts-run_poplogml
patch-lib-scripts-timestart.bash
patch-lib-scripts-timestop.bash
Removed files:
math/isabelle/files patch-lib-scripts-showtime polyml-5.0.ML
proofgeneral-settings.el run-polyml-5.0
Log:
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Revision Changes Path
1.8 +9 -18 ports/math/isabelle/Makefile
1.4 +9 -9 ports/math/isabelle/distinfo
1.2 +4 -4 ports/math/isabelle/files/patch-bin-isabelle_process
1.2 +3 -12 ports/math/isabelle/files/patch-build
1.4 +97 -24 ports/math/isabelle/files/patch-etc-settings
1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-browser
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-codegen (new)
1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-display
1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-findlogics
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-keywords (new)
1.2 +5 -7 ports/math/isabelle/files/patch-lib-Tools-makeall
1.2 +3 -3 ports/math/isabelle/files/patch-lib-Tools-mkdir
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-mkproject (new)
1.2 +6 -15 ports/math/isabelle/files/patch-lib-Tools-usedir
1.2 +2 -2 ports/math/isabelle/files/patch-lib-Tools-version
1.1 +15 -0 ports/math/isabelle/files/patch-lib-scripts-configure (new)
1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-fileindent (new)
1.2 +5 -14 ports/math/isabelle/files/patch-lib-scripts-getsettings
1.2 +3 -3 ports/math/isabelle/files/patch-lib-scripts-polyml_platform
1.2 +3 -3 ports/math/isabelle/files/patch-lib-scripts-polyml_version
1.2 +24 -36 ports/math/isabelle/files/patch-lib-scripts-run_polyml
1.1 +50 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.0 (new)
1.1 +50 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.1 (new)
1.1 +59 -0 ports/math/isabelle/files/patch-lib-scripts-run_poplogml (new)
1.2 +7 -2 ports/math/isabelle/files/patch-lib-scripts-run_smlnj
1.2 +0 -26 ports/math/isabelle/files/patch-lib-scripts-showtime (dead)
1.1 +16 -0 ports/math/isabelle/files/patch-lib-scripts-timestart.bash (new)
1.1 +44 -0 ports/math/isabelle/files/patch-lib-scripts-timestop.bash (new)
1.2 +3 -12 ports/math/isabelle/files/patch-src-Pure-mk
1.2 +0 -33 ports/math/isabelle/files/polyml-5.0.ML (dead)
1.2 +0 -17 ports/math/isabelle/files/proofgeneral-settings.el (dead)
1.3 +0 -100 ports/math/isabelle/files/run-polyml-5.0 (dead)
1.6 +1160 -757 ports/math/isabelle/pkg-plist
More information about the cvs-ports
mailing list