| 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
|