isabelle: File revisions

Isabelle

2013-07-16	wenzelm	more self-contained application, with side-entry for init;	file \| diff \| annotate
2013-01-10	wenzelm	prefer system build mode in main application wrappers, to produce heaps insided distribution directory;	file \| diff \| annotate
2011-09-10	wenzelm	simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);	file \| diff \| annotate
2011-06-25	wenzelm	CLASSPATH already converted in isabelle java wrapper;	file \| diff \| annotate
2011-06-23	wenzelm	provide Isabelle/Scala environment as Java extension, instead of user classpath	file \| diff \| annotate
2010-11-16	wenzelm	more robust determination of java executable;	file \| diff \| annotate
2010-01-06	wenzelm	simplified build/bootstrap of Isabelle/Scala components -- avoid make;	file \| diff \| annotate
2009-07-02	wenzelm	allow reloading of settings within JVM process;	file \| diff \| annotate
2009-07-02	wenzelm	isabelle.home: native jvmpath;	file \| diff \| annotate
2009-07-02	wenzelm	Generic Isabelle application wrapper.	file \| diff \| annotate

isabelle