Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
lib/scripts/getsettings
2016-03-10
wenzelm
isabelle_process is superseded by "isabelle process" tool;
file
|
diff
|
annotate
2016-02-25
wenzelm
slightly more robust re-initialization;
file
|
diff
|
annotate
2016-02-25
wenzelm
within the Isabelle environment, main executables are always within PATH;
file
|
diff
|
annotate
2016-02-25
wenzelm
avoid global state change;
file
|
diff
|
annotate
2016-02-25
wenzelm
more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
file
|
diff
|
annotate
2016-02-17
wenzelm
SML/NJ is no longer supported;
file
|
diff
|
annotate
2015-10-02
wenzelm
more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
file
|
diff
|
annotate
2015-09-30
wenzelm
renamed jvmpath to platform_path;
file
|
diff
|
annotate
2015-09-30
wenzelm
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
file
|
diff
|
annotate
2015-09-11
wenzelm
more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
file
|
diff
|
annotate
2015-06-20
wenzelm
less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
file
|
diff
|
annotate
2014-10-27
wenzelm
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
file
|
diff
|
annotate
2014-10-09
wenzelm
prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
file
|
diff
|
annotate
2014-09-21
wenzelm
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
file
|
diff
|
annotate
2014-06-27
wenzelm
sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
file
|
diff
|
annotate
less
more
(0)
-100
-15
tip