src/Tools/Graphview/lib/Tools/graphview
Thu, 12 Sep 2013 14:06:08 +0200 wenzelm tuned comments;
Thu, 12 Sep 2013 13:48:17 +0200 wenzelm clarified directory structure;
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
Sat, 07 Sep 2013 11:28:30 +0200 wenzelm odd workaround for scalac to enable nohup;
Tue, 25 Jun 2013 11:41:16 +0200 wenzelm more formal isabelle_admin_build;
Tue, 11 Dec 2012 21:05:38 +0100 wenzelm just one class with parameters;
Mon, 08 Oct 2012 12:02:32 +0200 wenzelm more basic tooltips;
Wed, 26 Sep 2012 15:01:45 +0200 wenzelm more uniform graphview terminology;
Wed, 26 Sep 2012 14:23:33 +0200 wenzelm tuned pretty_locale/print_locale, with more basic pretty_locale_deps based on that;
Tue, 25 Sep 2012 22:52:40 +0200 wenzelm proper jvmpath for Windows;
Tue, 25 Sep 2012 20:28:47 +0200 wenzelm ML support for generic graph display, with browser and graphview backends (via print modes);
Tue, 25 Sep 2012 16:55:32 +0200 wenzelm more complete build;
Mon, 24 Sep 2012 21:16:33 +0200 wenzelm minimal component and build setup for graphview;
less more (0) tip