| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Thu, 10 Mar 2016 12:11:50 +0100 | wenzelm | isabelle_process is superseded by "isabelle process" tool; | file | diff | annotate |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Wed, 04 Nov 2015 20:18:46 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 22 Oct 2015 21:34:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 Oct 2015 21:16:49 +0200 | wenzelm | more control symbols; | file | diff | annotate |
| Tue, 20 Oct 2015 23:53:40 +0200 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Sun, 18 Oct 2015 22:57:09 +0200 | wenzelm | more control symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 18:18:48 +0200 | wenzelm | @{verbatim [display]} supersedes old alltt/ttbox; | file | diff | annotate |
| Mon, 12 Oct 2015 17:11:17 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 07 Oct 2014 21:29:59 +0200 | wenzelm | more cartouches; | file | diff | annotate |
| Sun, 05 Oct 2014 22:46:13 +0200 | wenzelm | prefer @{cite} antiquotation; | file | diff | annotate |
| Sun, 06 Apr 2014 16:59:41 +0200 | wenzelm | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | file | diff | annotate |
| Mon, 06 Jan 2014 17:47:44 +0100 | wenzelm | more formal ISABELLE_BROWSER_INFO; | file | diff | annotate |
| Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | file | diff | annotate |
| Sat, 27 Jul 2013 21:50:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Mar 2013 15:12:14 +0100 | wenzelm | sessions may be organized via 'chapter' in ROOT; | file | diff | annotate |
| Sat, 26 Jan 2013 12:45:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |