https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: ROOT history ROOT revision history reactivated Readme.thy for authors https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/95b42288294e/ROOT Norbert Schirmer <norbert.schirmer@web.de> Fri, 17 May 2019 11:21:09 +0200 tuned ML-antiquotations; added intro portions. https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/f7c97e64cc2a/ROOT Norbert Schirmer <norbert.schirmer@web.de> Thu, 16 May 2019 19:56:12 +0200 accomodate Parsing section to Isabelle 2018 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/50d3059de9c6/ROOT Norbert Schirmer <norbert.schirmer@web.de> Tue, 14 May 2019 13:39:31 +0200 Accomodate to Isabelle 2018 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/daf404920ab9/ROOT Norbert Schirmer <norbert.schirmer@web.de> Tue, 14 May 2019 11:10:53 +0200 some small updates for Isabelle and corrections in the Parsing chapter https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/3c214b215f7e/ROOT Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 28 May 2014 12:41:09 +0100 updated to changes in Isabelle https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/c53d74b34123/ROOT Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 13 Mar 2014 17:16:49 +0000 updated the CallML section with the help from Florian https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/4b96e3c8b33e/ROOT Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 25 Feb 2013 00:33:48 +0000 updated https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/308ba2488d40/ROOT Christian Urban <urbanc@in.tum.de> Mon, 17 Sep 2012 00:07:40 +0100 added build for document https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/31d06b5cada4/ROOT Christian Urban <urbanc@in.tum.de> Tue, 28 Aug 2012 21:23:32 +0100