| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sun, 06 Sep 2015 14:51:49 +0200 | wenzelm | removed obsolete theory Legacy_Mrec; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Tue, 20 Aug 2013 11:39:53 +0200 | krauss | renamed theory Mrec to Legacy_Mrec, no longer included by default | file | diff | annotate |
| Fri, 28 Dec 2012 10:25:59 +0100 | haftmann | code checking for Scala is mandatory, since Scala is now required anyway for Isabelle | file | diff | annotate |
| Mon, 13 Sep 2010 14:54:05 +0200 | haftmann | added Imperative HOL overview | file | diff | annotate |
| Thu, 29 Jul 2010 09:56:59 +0200 | haftmann | checking Scala_imp | file | diff | annotate |