isabelle: etc/settings@28def00726ca (annotated)

24211 213215a8640a added jEdit mode spec; wenzelm parents: 23917 diff changeset	1	# -- shell-script -- :mode=shellscript:
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	2	#
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	3	# Isabelle system settings.
16875 c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	4	#
c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	5	# Important notes:
47173 08d1724a63e4 updated comments; wenzelm parents: 47113 diff changeset	6	# * See the "system" manual for explanations on Isabelle settings
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	7	# * User settings go into $ISABELLE_HOME_USER/etc/settings
16875 c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	8	# * DO NOT EDIT the repository copy of this file!
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	9	# * DO NOT COPY this file into the $ISABELLE_HOME_USER directory!
2309 390c1b6baaa5 added ISAMODE_HOME; wenzelm parents: 2294 diff changeset	10
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	11	###
52790 6150cf05f729 tuned comments; wenzelm parents: 52746 diff changeset	12	### Isabelle/Scala
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	13	###
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	14
70070 673a9d008123 clarified settings: allow for more Java versions; wenzelm parents: 69938 diff changeset	15	ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2"
53346 26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings; wenzelm parents: 52790 diff changeset	16
71791 bb72e75cec61 back to more modest (but uniform) Java stack, see 97fc4f657bda; wenzelm parents: 71790 diff changeset	17	ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
62840 d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 diff changeset	18
71791 bb72e75cec61 back to more modest (but uniform) Java stack, see 97fc4f657bda; wenzelm parents: 71790 diff changeset	19	ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms512m -J-Xmx4g -J-Xss16m"
70076 3b3089863eda uniform JVM heap options for Isabelle/Scala tools and scalac (again); wenzelm parents: 70070 diff changeset	20
53577 d033bc00b762 clarified directory structure; wenzelm parents: 53576 diff changeset	21	classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
53576 793a429c63e7 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); wenzelm parents: 53346 diff changeset	22
71736 a2afc7ed2c68 another isabelle_scala_service; wenzelm parents: 71733 diff changeset	23	isabelle_scala_service 'isabelle.Tools'
a2afc7ed2c68 another isabelle_scala_service; wenzelm parents: 71733 diff changeset	24	[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools'
69277 258bef08b31e support for user-defined Isabelle/Scala command-line tools; wenzelm parents: 69255 diff changeset	25
71871 28def00726ca more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment; wenzelm parents: 71791 diff changeset	26	isabelle_scala_service 'isabelle.Functions'
28def00726ca more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment; wenzelm parents: 71791 diff changeset	27
71733 6c470c918aad more general support for isabelle_scala_service; wenzelm parents: 71387 diff changeset	28	isabelle_scala_service 'isabelle.Bibtex$File_Format'
69255 800b1ce96fce more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; wenzelm parents: 69151 diff changeset	29
60200 02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	30	#paranoia settings -- avoid intrusion of alien options
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	31	unset "_JAVA_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	32	unset "JAVA_TOOL_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	33
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	34	#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc.
54037 ab77ec347220 unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; wenzelm parents: 53577 diff changeset	35	unset XMODIFIERS
ab77ec347220 unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; wenzelm parents: 53577 diff changeset	36
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	37
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	38	###
62562 905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	39	### Interactive sessions (cf. isabelle console)
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	40	###
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	41
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	42	ISABELLE_LINE_EDITOR="rlwrap"
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	43
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	44
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	45	###
52052 892061142ba6 discontinued obsolete isabelle usedir, mkdir, make; wenzelm parents: 51977 diff changeset	46	### Batch sessions (cf. isabelle build)
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	47	###
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	48
48466 3b2fb20df17d further imitation of ISABELLE_USEDIR_OPTIONS via options; wenzelm parents: 48449 diff changeset	49	ISABELLE_BUILD_OPTIONS=""
61131 83459eb76fe3 clarified ISABELLE_BUILD_JAVA_OPTIONS; wenzelm parents: 61027 diff changeset	50
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	51
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	52	###
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28474 diff changeset	53	### Document preparation (cf. isabelle latex/document)
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	54	###
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	55
67173 e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	56	ISABELLE_LATEX="latex -file-line-error"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	57	ISABELLE_PDFLATEX="pdflatex -file-line-error"
7813 4412debd3004 added ISABELLE_BIBTEX; wenzelm parents: 7776 diff changeset	58	ISABELLE_BIBTEX="bibtex"
14344 0f0a2148a099 run makeindex if necessary kleing parents: 14253 diff changeset	59	ISABELLE_MAKEINDEX="makeindex"
11800 5f84c687ba06 ISABELLE_EPSTOPDF="epstopdf"; wenzelm parents: 11569 diff changeset	60	ISABELLE_EPSTOPDF="epstopdf"
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	61
67173 e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	62	if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	63	ISABELLE_LATEX="latex -c-style-errors"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	64	ISABELLE_PDFLATEX="pdflatex -c-style-errors"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	65	fi
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	66
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	67
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	68	###
2968 8ba30b031f31 eliminated PLATFORM; wenzelm parents: 2915 diff changeset	69	### Misc path settings
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	70	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	71
63491 58ccbc73a172 prefer HTTPS; wenzelm parents: 62840 diff changeset	72	ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
69434 b93404a4c3dd clarified settings and defaults; wenzelm parents: 69412 diff changeset	73	ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"
48840 7e19dc018db9 added "isabelle components" tool; wenzelm parents: 48574 diff changeset	74
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	75	# The place for user configuration, heap files, etc.
48553 a4893c509aa2 proper shell variable; wenzelm parents: 48466 diff changeset	76	if [ -z "$ISABELLE_IDENTIFIER" ]; then
48449 2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	77	ISABELLE_HOME_USER="$USER_HOME/.isabelle"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	78	else
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	79	ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	80	fi
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	81
3177 3c1448b9b0ee tuned comments; wenzelm parents: 3158 diff changeset	82	# Where to look for isabelle tools (multiple dirs separated by ':').
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	83	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	84
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	85	# Location for temporary files (should be on a local file system).
58639 1df53737c59b prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; wenzelm parents: 57451 diff changeset	86	ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER"
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	87
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	88	# Heap locations.
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	89	ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	90	ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	91
68219 c0341c0080e2 clarified store directories; wenzelm parents: 67762 diff changeset	92	# HTML browser info.
26212 225b40bf36a7 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 26205 diff changeset	93	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	94	ISABELLE_BROWSER_INFO_SYSTEM="$ISABELLE_HOME/browser_info"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	95
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	96	# Site settings check -- just to make it a little bit harder to copy this file verbatim!
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	97	[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	98	{ echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; }
32305 c5523ded51d9 basic support for components (which imitate the usual Isabelle directory layout); wenzelm parents: 32292 diff changeset	99	ISABELLE_SITE_SETTINGS_PRESENT=true
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	100
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	101
9d542c96e855 more documentation kleing parents: 12998 diff changeset	102	###
28651 0e3f899eb6cf added jEdit settings; wenzelm parents: 28504 diff changeset	103	### Default logic
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	104	###
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	105
3184 4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; wenzelm parents: 3182 diff changeset	106	ISABELLE_LOGIC=HOL
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	107
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	108
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	109	###
9d542c96e855 more documentation kleing parents: 12998 diff changeset	110	### Docs
9d542c96e855 more documentation kleing parents: 12998 diff changeset	111	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	112
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	113	# Where to look for docs (multiple dirs separated by ':').
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	114	ISABELLE_DOCS="$ISABELLE_HOME/doc"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	115
69412 f0b85c8aec46 proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); wenzelm parents: 69328 diff changeset	116	ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY"
69283 39044da8bb5a clarified display name; wenzelm parents: 69277 diff changeset	117	ISABELLE_DOCS_EXAMPLES="~~/src/HOL/ex/Seq.thy:~~/src/HOL/ex/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/HOL/Isar_Examples/Drinker.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
56424 7032378cc097 proper settings instead of hard-wired information; wenzelm parents: 54937 diff changeset	118
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	119	# "open" within desktop environment (potentially asynchronous)
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	120	case "$ISABELLE_PLATFORM_FAMILY" in
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	121	linux)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	122	ISABELLE_OPEN="xdg-open"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	123	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	124	macos)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	125	ISABELLE_OPEN="open"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	126	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	127	windows)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	128	ISABELLE_OPEN="cygstart"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	129	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	130	esac
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	131
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	132	PDF_VIEWER="$ISABELLE_OPEN"
a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	133	DVI_VIEWER="$ISABELLE_OPEN"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	134
15218 39747a9e3c37 display pdf as well as dvi kleing parents: 14981 diff changeset	135
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	136	###
63871 f745c6e683b7 discontinued global etc/abbrevs; wenzelm parents: 63688 diff changeset	137	### Symbol rendering
37058 c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	138	###
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	139
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	140	ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	141
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	142
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	143	###
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	144	### OCaml
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	145	###
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	146
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	147	ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	148
69938 564985d6867e proper ISABELLE_OCAML_VERSION; wenzelm parents: 69935 diff changeset	149	ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.05.0"
69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: 69134 diff changeset	150
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	151
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	152	###
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	153	### Haskell
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	154	###
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	155
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	156	ISABELLE_STACK_ROOT="$USER_HOME/.stack"
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	157
71387 b3b992f6ad8f updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4; wenzelm parents: 70238 diff changeset	158	ISABELLE_STACK_RESOLVER="lts-13.19"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	159
71387 b3b992f6ad8f updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4; wenzelm parents: 70238 diff changeset	160	ISABELLE_GHC_VERSION="ghc-8.6.4"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	161
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	162
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	163	###
62354 fdd6989cc8a0 SML/NJ is no longer supported; wenzelm parents: 62233 diff changeset	164	### Misc settings
7185 19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	165	###
19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	166
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	167	ISABELLE_GNUPLOT="gnuplot"
69328 4646fcb59121 support for fontforge and its scripting language; wenzelm parents: 69311 diff changeset	168	ISABELLE_FONTFORGE="fontforge"
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	169
68384 4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	170	#ISABELLE_MLTON="/usr/bin/mlton"
4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	171	#ISABELLE_SMLNJ="/usr/bin/sml"
48187 6615f7ce670b slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy); wenzelm* parents: 47758 diff changeset	172	#ISABELLE_SWIPL="/usr/bin/swipl"

author	wenzelm
	Sat, 23 May 2020 21:43:30 +0200
changeset 71871	28def00726ca
parent 71791	bb72e75cec61
child 71925	bf085daea304
permissions	-rw-r--r--