Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
lib/Tools/scalac
2018-10-05
wenzelm
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
file
|
diff
|
annotate
2018-01-23
wenzelm
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
file
|
diff
|
annotate
2015-09-30
wenzelm
renamed jvmpath to platform_path;
file
|
diff
|
annotate
2013-09-12
wenzelm
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);
file
|
diff
|
annotate
2013-06-25
wenzelm
more formal isabelle_admin_build;
file
|
diff
|
annotate
2012-08-23
wenzelm
simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
file
|
diff
|
annotate
2012-04-25
wenzelm
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
file
|
diff
|
annotate
2012-04-12
wenzelm
direct scala toplevel tools to ISABELLE_JDK_HOME;
file
|
diff
|
annotate
2012-03-26
wenzelm
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
file
|
diff
|
annotate
2011-11-07
wenzelm
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
file
|
diff
|
annotate
2011-09-17
wenzelm
added "isabelle scalac" convenience;
file
|
diff
|
annotate
less
more
(0)
tip