| Thu, 04 Apr 2013 20:59:16 +0200 |
wenzelm |
tuned README -- less buzzwords;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2013 13:16:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Feb 2013 19:52:58 +0100 |
wenzelm |
Java assumes regular "re-parenting" window manager;
|
file |
diff |
annotate
|
| Sun, 10 Feb 2013 14:57:00 +0100 |
wenzelm |
updated PIDE notes;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2013 13:21:13 +0100 |
wenzelm |
minimal updated of jEdit/README.html, without any substantial reforms;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2012 12:54:14 +0100 |
wenzelm |
updated README;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2012 21:53:35 +0100 |
wenzelm |
updated README;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2012 14:55:52 +0100 |
wenzelm |
known problems with Mac OS X are back -- Java 7u6 is not the last word (cf. ce37d4f8b4f4);
|
file |
diff |
annotate
|
| Sat, 20 Oct 2012 17:40:51 +0200 |
wenzelm |
avoid STIX font, which tends to render badly;
|
file |
diff |
annotate
|
| Wed, 05 Sep 2012 20:54:40 +0200 |
wenzelm |
eliminated potentially confusing terminology of Scala "layer";
|
file |
diff |
annotate
|
| 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
|