cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj patch-src-HOL-Tools-atp_manager.ML patch-src-HOL-Tools-atp_wrapper.

makc2010-10-30 18:34:26 UTC FreeBSD ports repository Modified files: math/isabelleMakefile distinfo pkg-plist math/isabelle/files patch-etc-settings Removed files: math/isabelle/files patch-lib-scripts-run_smlnj patch-src-HOL-Tools-a

cvs commit: ports/math/isabelle Makefile

pav 2010-10-27 21:39:01 UTC FreeBSD ports repository Modified files: math/isabelleMakefile Log: - Mark BROKEN: bad plist Reported by:pointyhat Revision ChangesPath 1.15 +2 -0 ports/math/isabelle/Makefile _

cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj patch-src-HOL-Tools-atp_manager.ML patch-src-HOL-Tools-atp_wrapper.

miwi2009-10-29 22:23:28 UTC FreeBSD ports repository Modified files: math/isabelleMakefile distinfo pkg-plist math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj Added files: math/isabelle/files patch-src-HOL-Tools-atp

cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool pa

edwin 2008-08-15 04:33:05 UTC FreeBSD ports repository Modified files: math/isabelleMakefile distinfo pkg-plist math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj Removed files: math/isabelle/files patch-bin-Isabelle pa

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-li

rafan 2008-04-04 12:15:22 UTC FreeBSD ports repository Modified files: math/isabelleMakefile distinfo pkg-plist math/isabelle/files patch-bin-isabelle_process patch-build patch-etc-settings patch-lib-Tools-browser

cvs commit: ports/math/isabelle Makefile

linimon 2007-09-29 20:58:03 UTC FreeBSD ports repository Modified files: math/isabelleMakefile Log: Move the USE_PERL definitions, and others, before pre.mk inclusion. This will be needed to conditionalize bsd.perl.mk inclusion. Approved by:maintainer Rev

cvs commit: ports/math/isabelle Makefile pkg-plist ports/math/isabelle/files Makefile patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool pa

edwin 2007-09-10 12:11:10 UTC FreeBSD ports repository Modified files: math/isabelleMakefile pkg-plist math/isabelle/files Makefile run-polyml-5.0 Added files: math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabell

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-

miwi2007-03-22 11:32:00 UTC FreeBSD ports repository Modified files: math/isabelleMakefile pkg-plist math/isabelle/files patch-etc-settings Added files: math/isabelle/files polyml-5.0.ML proofgeneral-settings.el run-polyml-5.0 Rem

cvs commit: ports/math/isabelle Makefile

rafan 2006-08-10 12:04:59 UTC FreeBSD ports repository Modified files: math/isabelleMakefile Log: math/isabelle does not build on pointyhat, because the build process requires a non-standard kernel setting. Mark it as NO_PACKAGE. Refer to http://docs.freebsd.org/

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

sem 2006-05-01 18:01:58 UTC FreeBSD ports repository Modified files: math/isabelleMakefile 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/isa