| Sat, 28 Jul 2012 13:29:56 +0200 |
wenzelm |
isabelle browser is another user interface;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 13:01:48 +0200 |
wenzelm |
top-down order of user interfaces;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 12:59:53 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2012 19:36:50 +0200 |
wenzelm |
discontinued XSYMBOL_INSTALLFONTS (cf. 40fab092d2a2);
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 17:53:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 17:50:42 +0200 |
wenzelm |
some coverage of Isabelle/Scala tools;
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 17:05:31 +0200 |
wenzelm |
some coverage of Isabelle/jEdit;
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 16:06:30 +0200 |
wenzelm |
some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 22:20:49 +0200 |
wenzelm |
document antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 20 Jul 2009 20:03:19 +0200 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:03:46 +0100 |
wenzelm |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file |
diff |
annotate
|