isabelle: Changelog

wenzelm [Sat, 16 Aug 2008 16:01:53 +0200] rev 27919

Isabelle system support.

wenzelm [Sat, 16 Aug 2008 15:57:06 +0200] rev 27918

reading symbol interpretation tables;

wenzelm [Sat, 16 Aug 2008 15:57:05 +0200] rev 27917

added Tools/isabelle_system.scala;

wenzelm [Sat, 16 Aug 2008 14:29:25 +0200] rev 27916

removed unused usage;

wenzelm [Sat, 16 Aug 2008 13:32:23 +0200] rev 27915

more robust handling of directory layout variants;

wenzelm [Sat, 16 Aug 2008 13:31:57 +0200] rev 27914

refined scala/java wrappers via isatool;

wenzelm [Sat, 16 Aug 2008 13:31:56 +0200] rev 27913

tuned abbrevs;

wenzelm [Sat, 16 Aug 2008 13:31:55 +0200] rev 27912

added ISABELLE_SCALA, ISABELLE_JAVA;

wenzelm [Fri, 15 Aug 2008 23:31:37 +0200] rev 27911

added ISABELLE_HOME_JVM;

wenzelm [Fri, 15 Aug 2008 23:10:36 +0200] rev 27910

proper jvmpath for cygwin;

isabelle