Fri, 04 Jan 2013 12:33:25 +0100 | wenzelm | prefer old graph browser in Isabelle/jEdit, which still produces better layout; | file | diff | annotate |
Fri, 04 Jan 2013 11:07:39 +0100 | wenzelm | tuned message -- suppress inlined system information; | file | diff | annotate |
Thu, 03 Jan 2013 20:42:18 +0100 | wenzelm | maintain session index on Scala side, for more determistic results; | file | diff | annotate |
Wed, 02 Jan 2013 17:58:53 +0100 | wenzelm | moved files; | file | diff | annotate | base |