| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Fri, 02 Mar 2018 15:16:10 +0100 | wenzelm | prefer https; | file | diff | annotate |
| Wed, 06 Dec 2017 15:46:35 +0100 | wenzelm | more embedded cartouche arguments; | file | diff | annotate |
| Sat, 09 Sep 2017 16:51:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 05 Nov 2016 15:07:11 +0100 | wenzelm | documentation of @{undefined} (actually introduced in Isabelle2016); | file | diff | annotate |
| Sat, 05 Nov 2016 14:48:31 +0100 | wenzelm | tuned; | file | diff | annotate |