isabelle: etc/settings@131ab1a941dd (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
73092 131ab1a941dd try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup"; wenzelm parents: 72939 diff changeset	15	ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
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
72193 742d94015918 clarified signature; wenzelm parents: 72163 diff changeset	26	isabelle_scala_service 'isabelle.Scala_Functions'
71871 28def00726ca more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment; wenzelm parents: 71791 diff changeset	27
72837 2c26c283f3ee PIDE support for session ROOTS; wenzelm parents: 72791 diff changeset	28	isabelle_scala_service 'isabelle.Sessions$File_Format'
71733 6c470c918aad more general support for isabelle_scala_service; wenzelm parents: 71387 diff changeset	29	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	30
72157 d1ca82e27cbc clarified names; wenzelm parents: 72156 diff changeset	31	isabelle_scala_service 'isabelle.ML_Statistics$Handler'
d1ca82e27cbc clarified names; wenzelm parents: 72156 diff changeset	32	isabelle_scala_service 'isabelle.Scala$Handler'
72156 065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	33	isabelle_scala_service 'isabelle.Print_Operation$Handler'
065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	34	isabelle_scala_service 'isabelle.Simplifier_Trace$Handler'
72163 f5722290a4d0 allow user-defined server commands via isabelle_scala_service; wenzelm parents: 72162 diff changeset	35	isabelle_scala_service 'isabelle.Server_Commands'
72156 065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	36
60200 02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	37	#paranoia settings -- avoid intrusion of alien options
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	38	unset "_JAVA_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	39	unset "JAVA_TOOL_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	40
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	41	#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	42	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	43
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	44
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	45	###
62562 905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	46	### 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	47	###
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	48
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	49	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	50
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	51
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	52	###
52052 892061142ba6 discontinued obsolete isabelle usedir, mkdir, make; wenzelm parents: 51977 diff changeset	53	### Batch sessions (cf. isabelle build)
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	54	###
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	55
48466 3b2fb20df17d further imitation of ISABELLE_USEDIR_OPTIONS via options; wenzelm parents: 48449 diff changeset	56	ISABELLE_BUILD_OPTIONS=""
61131 83459eb76fe3 clarified ISABELLE_BUILD_JAVA_OPTIONS; wenzelm parents: 61027 diff changeset	57
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	58
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	59	###
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28474 diff changeset	60	### Document preparation (cf. isabelle latex/document)
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	61	###
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	62
72314 684f14b1e7fc ISABELLE_PDFLATEX is now lualatex; wenzelm parents: 72309 diff changeset	63	ISABELLE_PDFLATEX="lualatex --file-line-error"
7813 4412debd3004 added ISABELLE_BIBTEX; wenzelm parents: 7776 diff changeset	64	ISABELLE_BIBTEX="bibtex"
14344 0f0a2148a099 run makeindex if necessary kleing parents: 14253 diff changeset	65	ISABELLE_MAKEINDEX="makeindex"
11800 5f84c687ba06 ISABELLE_EPSTOPDF="epstopdf"; wenzelm parents: 11569 diff changeset	66	ISABELLE_EPSTOPDF="epstopdf"
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	67
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	68
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	69	###
2968 8ba30b031f31 eliminated PLATFORM; wenzelm parents: 2915 diff changeset	70	### Misc path settings
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	71	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	72
72162 5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	73	isabelle_directory '~'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	74	isabelle_directory '$ISABELLE_HOME_USER'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	75	isabelle_directory '~~'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	76
72552 461b3942148d back to https://isabelle.sketis.net/components (more reliable); wenzelm parents: 72541 diff changeset	77	ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components"
69434 b93404a4c3dd clarified settings and defaults; wenzelm parents: 69412 diff changeset	78	ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"
48840 7e19dc018db9 added "isabelle components" tool; wenzelm parents: 48574 diff changeset	79
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	80	# The place for user configuration, heap files, etc.
48553 a4893c509aa2 proper shell variable; wenzelm parents: 48466 diff changeset	81	if [ -z "$ISABELLE_IDENTIFIER" ]; then
48449 2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	82	ISABELLE_HOME_USER="$USER_HOME/.isabelle"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	83	else
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	84	ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	85	fi
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	86
3177 3c1448b9b0ee tuned comments; wenzelm parents: 3158 diff changeset	87	# 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	88	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	89
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	90	# 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	91	ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER"
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	92
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	93	# Heap locations.
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	94	ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	95	ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	96
68219 c0341c0080e2 clarified store directories; wenzelm parents: 67762 diff changeset	97	# HTML browser info.
26212 225b40bf36a7 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 26205 diff changeset	98	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	99	ISABELLE_BROWSER_INFO_SYSTEM="$ISABELLE_HOME/browser_info"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	100
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	101	# 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	102	[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	103	{ 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	104	ISABELLE_SITE_SETTINGS_PRESENT=true
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	105
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	106
9d542c96e855 more documentation kleing parents: 12998 diff changeset	107	###
28651 0e3f899eb6cf added jEdit settings; wenzelm parents: 28504 diff changeset	108	### Default logic
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	109	###
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	110
3184 4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; wenzelm parents: 3182 diff changeset	111	ISABELLE_LOGIC=HOL
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	112
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	113
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	114	###
9d542c96e855 more documentation kleing parents: 12998 diff changeset	115	### Docs
9d542c96e855 more documentation kleing parents: 12998 diff changeset	116	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	117
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	118	# 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	119	ISABELLE_DOCS="$ISABELLE_HOME/doc"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	120
69412 f0b85c8aec46 proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); wenzelm parents: 69328 diff changeset	121	ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY"
71925 bf085daea304 clarified sessions: "Notable Examples in Isabelle/HOL"; wenzelm parents: 71871 diff changeset	122	ISABELLE_DOCS_EXAMPLES="~~/src/HOL/Examples/Seq.thy:~~/src/HOL/Examples/Drinker.thy:~~/src/HOL/Examples/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
56424 7032378cc097 proper settings instead of hard-wired information; wenzelm parents: 54937 diff changeset	123
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	124	# "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	125	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	126	linux)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	127	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	128	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	129	macos)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	130	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	131	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	132	windows)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	133	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	134	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	135	esac
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	136
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	137	PDF_VIEWER="$ISABELLE_OPEN"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	138
15218 39747a9e3c37 display pdf as well as dvi kleing parents: 14981 diff changeset	139
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	140	###
63871 f745c6e683b7 discontinued global etc/abbrevs; wenzelm parents: 63688 diff changeset	141	### Symbol rendering
37058 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
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	144	ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	145
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	146
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	147	###
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	148	### OCaml
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
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	151	ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	152
72939 dc858da93233 updated to zipperposition-2.0 and ocaml-4.07, which is required for it; wenzelm parents: 72837 diff changeset	153	ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.07.0"
69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: 69134 diff changeset	154
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	155
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	156	###
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	157	### Haskell
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	158	###
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	159
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	160	ISABELLE_STACK_ROOT="$USER_HOME/.stack"
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	161
72791 b79755daf0ad updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4; wenzelm parents: 72552 diff changeset	162	ISABELLE_STACK_RESOLVER="lts-16.12"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	163
72791 b79755daf0ad updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4; wenzelm parents: 72552 diff changeset	164	ISABELLE_GHC_VERSION="ghc-8.8.4"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	165
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	166
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	167	###
62354 fdd6989cc8a0 SML/NJ is no longer supported; wenzelm parents: 62233 diff changeset	168	### Misc settings
7185 19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	169	###
19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	170
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	171	ISABELLE_GNUPLOT="gnuplot"
69328 4646fcb59121 support for fontforge and its scripting language; wenzelm parents: 69311 diff changeset	172	ISABELLE_FONTFORGE="fontforge"
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	173
68384 4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	174	#ISABELLE_MLTON="/usr/bin/mlton"
4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	175	#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	176	#ISABELLE_SWIPL="/usr/bin/swipl"

author	wenzelm
	Thu, 07 Jan 2021 00:04:13 +0100
changeset 73092	131ab1a941dd
parent 72939	dc858da93233
child 73136	ca17e9ebfdf1
permissions	-rw-r--r--