| Tue, 21 Aug 2018 17:29:46 +0200 | nipkow | improved sectioning | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Sat, 19 Dec 2015 11:05:04 +0100 | haftmann | abandoned attempt to unify sublocale and interpretation into global theories | file | diff | annotate |