files « isabelle « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	Makefile	934	log plain blame
-rw-r--r--	patch-bin-Isabelle	240	log plain blame
-rw-r--r--	patch-bin-isabelle	240	log plain blame
-rw-r--r--	patch-bin-isabelle_interface	574	log plain blame
-rw-r--r--	patch-bin-isabelle_process	689	log plain blame
-rw-r--r--	patch-bin-isatool	651	log plain blame
-rw-r--r--	patch-build	815	log plain blame
-rw-r--r--	patch-etc-settings	1780	log plain blame
-rw-r--r--	patch-lib-Tools-browser	462	log plain blame
-rw-r--r--	patch-lib-Tools-convert	373	log plain blame
-rw-r--r--	patch-lib-Tools-dimacs2hol	354	log plain blame
-rw-r--r--	patch-lib-Tools-display	455	log plain blame
-rw-r--r--	patch-lib-Tools-doc	435	log plain blame
-rw-r--r--	patch-lib-Tools-document	742	log plain blame
-rw-r--r--	patch-lib-Tools-expandshort	381	log plain blame
-rw-r--r--	patch-lib-Tools-findlogics	358	log plain blame
-rw-r--r--	patch-lib-Tools-fixcpure	355	log plain blame
-rw-r--r--	patch-lib-Tools-fixgreek	378	log plain blame
-rw-r--r--	patch-lib-Tools-fixheaders	374	log plain blame
-rw-r--r--	patch-lib-Tools-fixsome	370	log plain blame
-rw-r--r--	patch-lib-Tools-getenv	377	log plain blame
-rw-r--r--	patch-lib-Tools-install	1037	log plain blame
-rw-r--r--	patch-lib-Tools-latex	2056	log plain blame
-rw-r--r--	patch-lib-Tools-logo	447	log plain blame
-rw-r--r--	patch-lib-Tools-make	353	log plain blame
-rw-r--r--	patch-lib-Tools-makeall	530	log plain blame
-rw-r--r--	patch-lib-Tools-mkdir	460	log plain blame
-rw-r--r--	patch-lib-Tools-print	448	log plain blame
-rw-r--r--	patch-lib-Tools-unsymbolize	382	log plain blame
-rw-r--r--	patch-lib-Tools-usedir	1001	log plain blame
-rw-r--r--	patch-lib-Tools-version	250	log plain blame
-rw-r--r--	patch-lib-scripts-feeder	475	log plain blame
-rw-r--r--	patch-lib-scripts-getsettings	1196	log plain blame
-rw-r--r--	patch-lib-scripts-patch_scripts.bash	1117	log plain blame
-rw-r--r--	patch-lib-scripts-polyml_platform	241	log plain blame
-rw-r--r--	patch-lib-scripts-polyml_version	238	log plain blame
-rw-r--r--	patch-lib-scripts-run_mosml	801	log plain blame
-rw-r--r--	patch-lib-scripts-run_polyml	1318	log plain blame
-rw-r--r--	patch-lib-scripts-run_smlnj	1609	log plain blame
-rw-r--r--	patch-lib-scripts-showtime	649	log plain blame
-rw-r--r--	patch-src-Pure-mk	578	log plain blame
-rw-r--r--	polyml-5.0.ML	595	log plain blame
-rw-r--r--	proofgeneral-settings.el	432	log plain blame
-rw-r--r--	run-polyml-5.0	2594	log plain blame