Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-30
-10
-7
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
lib/scripts/getsettings
Fri, 02 Oct 2015 23:22:49 +0200
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
Wed, 30 Sep 2015 21:32:44 +0200
wenzelm
renamed jvmpath to platform_path;
file
|
diff
|
annotate
Wed, 30 Sep 2015 21:05:14 +0200
wenzelm
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
file
|
diff
|
annotate
Fri, 11 Sep 2015 14:53:05 +0200
wenzelm
more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
file
|
diff
|
annotate
Sat, 20 Jun 2015 16:08:47 +0200
wenzelm
less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
file
|
diff
|
annotate
Mon, 27 Oct 2014 16:11:24 +0100
wenzelm
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
file
|
diff
|
annotate
Thu, 09 Oct 2014 13:56:27 +0200
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
less
more
(0)
-30
-10
-7
tip