History log of /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/Console.java
Revision Date Author Comments
# 4b000659 11-Dec-2012 wenzelm <none@none>

added speculative options for jEdit;
# 8096421a 14-Nov-2009 wenzelm <none@none>

eliminated obsolete CVS Ids;
tuned headers;
# 2d8d833a 28-Oct-2005 webertj <none@none>

unnecessary imports removed
# 33b1b845 21-Jun-2004 kleing <none@none>

Merged in license change from Isabelle2004
# 9222fc0e 07-May-2003 kleing <none@none>

fixed uncollapsed dirs (should be collapsed by default)
# 7d5c82fe 07-May-2003 kleing <none@none>

cleanup, comments
# 8e3a4630 07-May-2003 kleing <none@none>

eliminated dependencies on AWT for batch mode