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/scala
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-06-23 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath file | diff | annotate
2011-01-21 wenzelm java/scala: default to UTF-8; file | diff | annotate
2010-05-28 wenzelm assume given SCALA_HOME, e.g. from component settings or external setup; file | diff | annotate
2010-01-09 wenzelm pass build error code; file | diff | annotate
2010-01-06 wenzelm simplified build/bootstrap of Isabelle/Scala components -- avoid make; file | diff | annotate
2008-12-20 wenzelm removed Ids; file | diff | annotate
2008-08-16 wenzelm removed unused usage; file | diff | annotate
2008-08-16 wenzelm refined scala/java wrappers via isatool; file | diff | annotate
less more (0) tip
isabelle