| 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 |
| Sat, 14 Nov 2015 08:45:52 +0100 | haftmann | prefer "rewrites" and "defines" to note rewrite morphisms | file | diff | annotate |
| Tue, 15 Sep 2015 17:09:13 +0200 | nipkow | goali -> i | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |