Wed, 10 Apr 2019 23:45:20 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 19:41:10 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 19:32:25 +0200 |
wenzelm |
@{verbatim [display]} supersedes old alltt/ttbox;
|
file |
diff |
annotate
|
Sat, 23 May 2015 22:13:24 +0200 |
wenzelm |
prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
|
file |
diff |
annotate
|
Fri, 13 Jun 2014 22:15:13 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Wed, 04 Jun 2014 18:18:09 +0200 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
Mon, 19 May 2014 16:48:29 +0200 |
wenzelm |
prefer T1 with searchable underscore (requires proper cm-super fonts);
|
file |
diff |
annotate
|
Thu, 31 Oct 2013 17:13:39 +0100 |
wenzelm |
more screenshots;
|
file |
diff |
annotate
|
Thu, 10 Oct 2013 12:02:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 17:37:02 +0200 |
wenzelm |
more front-matter;
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 17:20:08 +0200 |
wenzelm |
clarified logo;
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 16:08:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 15:23:31 +0200 |
wenzelm |
added/updated material from src/Tools/jEdit/README.html;
|
file |
diff |
annotate
|
Sat, 21 Sep 2013 13:05:54 +0200 |
wenzelm |
basic setup for Isabelle/jEdit documentation;
|
file |
diff |
annotate
|