| Wed, 23 Apr 2014 10:38:56 +0200 |
wenzelm |
updated workaround;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 14:06:08 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 13:48:17 +0200 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 11:28:30 +0200 |
wenzelm |
odd workaround for scalac to enable nohup;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 11:41:16 +0200 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| Tue, 11 Dec 2012 21:05:38 +0100 |
wenzelm |
just one class with parameters;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2012 12:02:32 +0200 |
wenzelm |
more basic tooltips;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 15:01:45 +0200 |
wenzelm |
more uniform graphview terminology;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 14:23:33 +0200 |
wenzelm |
tuned pretty_locale/print_locale, with more basic pretty_locale_deps based on that;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 22:52:40 +0200 |
wenzelm |
proper jvmpath for Windows;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 20:28:47 +0200 |
wenzelm |
ML support for generic graph display, with browser and graphview backends (via print modes);
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 16:55:32 +0200 |
wenzelm |
more complete build;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 21:16:33 +0200 |
wenzelm |
minimal component and build setup for graphview;
|
file |
diff |
annotate
|