History log of /seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/GraphBrowserFrame.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;
# 33b1b845 21-Jun-2004 kleing <none@none>

Merged in license change from Isabelle2004
# 6d2d55ca 25-Oct-2001 kleing <none@none>

added windowlistener (can now close the frame by window controls)
# 946e6b26 22-Oct-2001 berghofe <none@none>

initBrowser now has additional noAWT argument.
# e6339306 29-Apr-1999 berghofe <none@none>

Updated to JDK 1.1.x
# 36df0b78 05-Aug-1997 berghofe <none@none>

Source files for Isabelle theory graph browser.
Initial revision.