Tue, 14 May 2019 17:10:47 +0200 | Norbert Schirmer | isabelle update_cartouches -t | file | diff | annotate |
Tue, 14 May 2019 11:10:53 +0200 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
Tue, 08 Jul 2014 11:34:10 +0100 | Christian Urban |
updated for Isabelle 2014 | file | diff | annotate |
Mon, 30 Apr 2012 14:43:52 +0100 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
Thu, 19 Mar 2009 23:21:26 +0100 | Christian Urban | polished some recipies | file | diff | annotate |
Thu, 19 Mar 2009 13:28:16 +0100 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | file | diff | annotate | base |