| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Sat, 22 May 2021 21:52:13 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Sat, 22 May 2021 13:35:25 +0200 | wenzelm | clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax; | file | diff | annotate |
| Mon, 20 Jul 2020 23:45:29 +0200 | wenzelm | subtle change of Theory_Data extend/merge semantics due to Theory.join_theory; | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 13 Nov 2018 11:30:44 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 Dec 2017 15:46:35 +0100 | wenzelm | more embedded cartouche arguments; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 16 Dec 2015 17:28:49 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Thu, 05 Nov 2015 00:17:13 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Thu, 22 Oct 2015 23:01:49 +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 |
| Fri, 16 Oct 2015 14:53:26 +0200 | wenzelm | Markdown support in document text; | file | diff | annotate |
| Wed, 14 Oct 2015 15:10:32 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 20:58:58 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 28 Aug 2015 23:55:17 +0200 | wenzelm | tuned documentation -- merge is implicitly performed by the system; | file | diff | annotate |
| Sun, 16 Aug 2015 18:19:30 +0200 | wenzelm | prefer theory_id operations; | file | diff | annotate |
| Wed, 01 Apr 2015 22:40:07 +0200 | wenzelm | misc tuning -- keep name space more clean; | file | diff | annotate |
| Tue, 31 Mar 2015 00:11:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 21 Oct 2014 10:00:25 +0200 | wenzelm | tuned spacing; | file | diff | annotate |
| Mon, 20 Oct 2014 20:43:02 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Mon, 13 Oct 2014 22:43:29 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Oct 2014 21:29:59 +0200 | wenzelm | more cartouches; | file | diff | annotate |
| Sun, 05 Oct 2014 22:47:07 +0200 | wenzelm | prefer @{cite} antiquotation; | file | diff | annotate |
| Sat, 28 Jun 2014 15:34:43 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Sat, 05 Apr 2014 11:37:00 +0200 | haftmann | closer correspondence of document and session names, while maintaining document names for external reference | file | diff | annotate | base |