| Tue, 18 May 2021 15:17:55 +0200 | wenzelm | option document_logo; | file | diff | annotate |
| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | file | diff | annotate |
| Thu, 09 May 2019 14:22:25 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| 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 |