lib/browser/build
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Wed, 06 Jan 2010 22:18:52 +0100 wenzelm simplified build/bootstrap of graph browser -- avoid make;
less more (0) tip