isabelle: etc/settings@22e958b76bf6 (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
65531 24544e3f183d more uniform isabelle_scala; wenzelm parents: 64902 diff changeset	15	ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m"
47009 97b68d61de2e less noisy Isabelle/Scala build process; wenzelm parents: 46184 diff changeset	16
69311 740b14b67472 more Java 11 illegal-access warnings; wenzelm parents: 69283 diff changeset	17	ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2 --illegal-access=warn"
53346 26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings; wenzelm parents: 52790 diff changeset	18
67762 8b61174a3aa2 more Java heap, e.g. relevant for hg.graph on Isabelle repository; wenzelm parents: 67588 diff changeset	19	ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m"
62840 d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 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
69277 258bef08b31e support for user-defined Isabelle/Scala command-line tools; wenzelm parents: 69255 diff changeset	23	isabelle_scala_tools 'isabelle.Regular_Tools'
258bef08b31e support for user-defined Isabelle/Scala command-line tools; wenzelm parents: 69255 diff changeset	24	[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools'
258bef08b31e support for user-defined Isabelle/Scala command-line tools; wenzelm parents: 69255 diff changeset	25
69255 800b1ce96fce more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; wenzelm parents: 69151 diff changeset	26	isabelle_file_format 'isabelle.Bibtex$File_Format'
800b1ce96fce more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; wenzelm parents: 69151 diff changeset	27
60200 02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	28	#paranoia settings -- avoid intrusion of alien options
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	29	unset "_JAVA_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	30	unset "JAVA_TOOL_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	31
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	32	#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	33	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	34
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	35
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	36	###
62562 905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	37	### 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	38	###
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	39
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	40	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	41
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	42
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	43	###
52052 892061142ba6 discontinued obsolete isabelle usedir, mkdir, make; wenzelm parents: 51977 diff changeset	44	### Batch sessions (cf. isabelle build)
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	45	###
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	46
48466 3b2fb20df17d further imitation of ISABELLE_USEDIR_OPTIONS via options; wenzelm parents: 48449 diff changeset	47	ISABELLE_BUILD_OPTIONS=""
61131 83459eb76fe3 clarified ISABELLE_BUILD_JAVA_OPTIONS; wenzelm parents: 61027 diff changeset	48
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	49
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	50	###
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28474 diff changeset	51	### Document preparation (cf. isabelle latex/document)
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	52	###
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	53
67173 e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	54	ISABELLE_LATEX="latex -file-line-error"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	55	ISABELLE_PDFLATEX="pdflatex -file-line-error"
7813 4412debd3004 added ISABELLE_BIBTEX; wenzelm parents: 7776 diff changeset	56	ISABELLE_BIBTEX="bibtex"
14344 0f0a2148a099 run makeindex if necessary kleing parents: 14253 diff changeset	57	ISABELLE_MAKEINDEX="makeindex"
11800 5f84c687ba06 ISABELLE_EPSTOPDF="epstopdf"; wenzelm parents: 11569 diff changeset	58	ISABELLE_EPSTOPDF="epstopdf"
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	59
67173 e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	60	if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	61	ISABELLE_LATEX="latex -c-style-errors"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	62	ISABELLE_PDFLATEX="pdflatex -c-style-errors"
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	63	fi
e746db6db903 more explicit latex errors; wenzelm parents: 66906 diff changeset	64
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	65
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	66	###
2968 8ba30b031f31 eliminated PLATFORM; wenzelm parents: 2915 diff changeset	67	### Misc path settings
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	68	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	69
63491 58ccbc73a172 prefer HTTPS; wenzelm parents: 62840 diff changeset	70	ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
69434 b93404a4c3dd clarified settings and defaults; wenzelm parents: 69412 diff changeset	71	ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"
48840 7e19dc018db9 added "isabelle components" tool; wenzelm parents: 48574 diff changeset	72
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	73	# The place for user configuration, heap files, etc.
48553 a4893c509aa2 proper shell variable; wenzelm parents: 48466 diff changeset	74	if [ -z "$ISABELLE_IDENTIFIER" ]; then
48449 2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	75	ISABELLE_HOME_USER="$USER_HOME/.isabelle"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	76	else
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	77	ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	78	fi
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	79
3177 3c1448b9b0ee tuned comments; wenzelm parents: 3158 diff changeset	80	# 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	81	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	82
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	83	# 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	84	ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER"
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	85
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	86	# Heap locations.
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	87	ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	88	ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	89
68219 c0341c0080e2 clarified store directories; wenzelm parents: 67762 diff changeset	90	# HTML browser info.
26212 225b40bf36a7 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 26205 diff changeset	91	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	92	ISABELLE_BROWSER_INFO_SYSTEM="$ISABELLE_HOME/browser_info"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	93
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	94	# 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	95	[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	96	{ 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	97	ISABELLE_SITE_SETTINGS_PRESENT=true
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	98
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	99
9d542c96e855 more documentation kleing parents: 12998 diff changeset	100	###
28651 0e3f899eb6cf added jEdit settings; wenzelm parents: 28504 diff changeset	101	### Default logic
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	102	###
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	103
3184 4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; wenzelm parents: 3182 diff changeset	104	ISABELLE_LOGIC=HOL
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	105
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	106
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	107	###
9d542c96e855 more documentation kleing parents: 12998 diff changeset	108	### Docs
9d542c96e855 more documentation kleing parents: 12998 diff changeset	109	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	110
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	111	# 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	112	ISABELLE_DOCS="$ISABELLE_HOME/doc"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	113
69412 f0b85c8aec46 proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); wenzelm parents: 69328 diff changeset	114	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	115	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	116
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	117	# "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	118	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	119	linux)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	120	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	121	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	122	macos)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	123	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	124	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	125	windows)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	126	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	127	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	128	esac
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	129
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	130	PDF_VIEWER="$ISABELLE_OPEN"
a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	131	DVI_VIEWER="$ISABELLE_OPEN"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	132
15218 39747a9e3c37 display pdf as well as dvi kleing parents: 14981 diff changeset	133
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	134	###
63871 f745c6e683b7 discontinued global etc/abbrevs; wenzelm parents: 63688 diff changeset	135	### Symbol rendering
37058 c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	136	###
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	137
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	138	ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
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
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	141	###
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	142	### OCaml
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	143	###
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	144
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	145	ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam"
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	146
69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: 69134 diff changeset	147	ISABELLE_OCAML_VERSION="4.05.0"
be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: 69134 diff changeset	148
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	149
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	150	###
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	151	### Haskell
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	152	###
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	153
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	154	ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	155
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	156	ISABELLE_STACK_RESOLVER="lts-12.13"
b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	157
b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	158	ISABELLE_GHC_VERSION="ghc-8.4.3"
b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	159
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	160
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	161	###
62354 fdd6989cc8a0 SML/NJ is no longer supported; wenzelm parents: 62233 diff changeset	162	### Misc settings
7185 19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	163	###
19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	164
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	165	ISABELLE_GNUPLOT="gnuplot"
69328 4646fcb59121 support for fontforge and its scripting language; wenzelm parents: 69311 diff changeset	166	ISABELLE_FONTFORGE="fontforge"
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	167
68384 4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	168	#ISABELLE_MLTON="/usr/bin/mlton"
4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	169	#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	170	#ISABELLE_SWIPL="/usr/bin/swipl"

author	wenzelm
	Fri, 21 Dec 2018 19:17:53 +0100
changeset 69498	22e958b76bf6
parent 69434	b93404a4c3dd
child 69507	04e54f57a869
permissions	-rw-r--r--