| Fri, 24 Aug 2012 11:32:12 +0200 |
wenzelm |
updated READMEs -- most Mac OS X problems are gone thanks to jdk-7u6;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 10:24:41 +0200 |
wenzelm |
improved spelling;
|
file |
diff |
annotate
|
| Mon, 16 Apr 2012 17:20:32 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 23:06:22 +0100 |
wenzelm |
Isabelle/jEdit supports user-defined Isar commands within the running session;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2012 10:59:18 +0100 |
wenzelm |
updated version information;
|
file |
diff |
annotate
|
| Sun, 09 Oct 2011 16:47:58 +0200 |
wenzelm |
tuned;
Isabelle2011-1
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 22:14:15 +0200 |
wenzelm |
observe base URL of rendered document;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 21:39:55 +0200 |
wenzelm |
more README;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 20:45:15 +0200 |
wenzelm |
tuned README.html;
|
file |
diff |
annotate
|
| Sun, 11 Sep 2011 13:27:22 +0200 |
wenzelm |
more README;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 21:41:36 +0200 |
wenzelm |
more README;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2011 21:40:58 +0200 |
wenzelm |
more README;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 16:37:22 +0200 |
wenzelm |
updated READMEs;
|
file |
diff |
annotate
|
| Mon, 15 Aug 2011 22:31:17 +0200 |
wenzelm |
updated README;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 20:21:22 +0200 |
wenzelm |
prefer STIXGeneral -- hard to tell if better or worse;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 09:19:31 +0200 |
wenzelm |
literal unicode in README.html allows to copy/paste from Lobo output;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 22:53:15 +0200 |
wenzelm |
explain special control symbols;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 22:06:05 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
| base
|