isabelle: File revisions

src/Doc/System/Scala.thy

2016-08-12	wenzelm	2016-08-12	more symbols;	file \| diff \| annotate
2016-02-25	wenzelm	2016-02-25	isabelle_scala_script is usually found by PATH;	file \| diff \| annotate
2015-11-13	wenzelm	2015-11-13	more uniform jEdit properties;	file \| diff \| annotate
2015-11-04	wenzelm	2015-11-04	tuned whitespace;	file \| diff \| annotate
2015-10-22	wenzelm	2015-10-22	more control symbols; tuned;	file \| diff \| annotate
2015-10-12	wenzelm	2015-10-12	@{verbatim [display]} supersedes old alltt/ttbox;	file \| diff \| annotate
2014-10-07	wenzelm	2014-10-07	more cartouches;	file \| diff \| annotate
2014-10-05	wenzelm	2014-10-05	prefer @{cite} antiquotation;	file \| diff \| annotate
2014-08-04	wenzelm	2014-08-04	tuned;	file \| diff \| annotate
2014-06-09	wenzelm	2014-06-09	more on command-line invocation -- moved material from system manual;	file \| diff \| annotate
2013-09-29	wenzelm	2013-09-29	tuned;	file \| diff \| annotate
2013-09-12	wenzelm	2013-09-12	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); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;	file \| diff \| annotate
2013-05-22	wenzelm	2013-05-22	added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;	file \| diff \| annotate
2012-08-28	wenzelm	2012-08-28	renamed doc-src to src/Doc; renamed TutorialI to Tutorial;	file \| diff \| annotate \| base

isabelle

RSS Atom