https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook Changelog isabelle-cookbook Changelog [default] updated testboard section https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/883ce9c7b13b https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/883ce9c7b13b changeset 883ce9c7b13b branch default bookmark tag tip user Christian Urban <urbanc@in.tum.de> description updated testboard section files ProgTutorial/Intro.thy
progtutorial.pdf
]]> Christian Urban <urbanc@in.tum.de> Sun, 16 Jun 2019 14:54:32 +0100 pdf https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/4dc20f6921d0 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/4dc20f6921d0 changeset 4dc20f6921d0 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description pdf files progtutorial.pdf
]]> Christian Urban <urbanc@in.tum.de> Tue, 11 Jun 2019 23:31:53 +0100 minor updated https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/69c78980c8a4 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/69c78980c8a4 changeset 69c78980c8a4 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description minor updated files ProgTutorial/Intro.thy
ProgTutorial/document/root.bib
]]> Christian Urban <urbanc@in.tum.de> Tue, 11 Jun 2019 23:31:09 +0100 updated pdf-document https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/d1523393dd5a https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/d1523393dd5a changeset d1523393dd5a branch bookmark tag user Christian Urban <urbanc@in.tum.de> description updated pdf-document files progtutorial.pdf
]]> Christian Urban <urbanc@in.tum.de> Thu, 23 May 2019 00:58:11 +0100 small typo https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/b78c4fab81a9 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/b78c4fab81a9 changeset b78c4fab81a9 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description small typo files ProgTutorial/Recipes/TimeLimit.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 23 May 2019 00:56:39 +0100 fixing some Line references https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/c3dbc04471a9 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/c3dbc04471a9 changeset c3dbc04471a9 branch bookmark tag user Norbert Schirmer <norbert.schirmer@web.de> description fixing some Line references files ProgTutorial/First_Steps.thy
ProgTutorial/Package/Ind_Code.thy
ProgTutorial/Parsing.thy
ProgTutorial/Recipes/Antiquotes.thy
ProgTutorial/Solutions.thy
ProgTutorial/Tactical.thy
]]> Norbert Schirmer <norbert.schirmer@web.de> Wed, 22 May 2019 13:24:30 +0200 polish document https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/034150db9d91 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/034150db9d91 changeset 034150db9d91 branch bookmark tag user Norbert Schirmer <norbert.schirmer@web.de> description polish document files ProgTutorial/Essential.thy
ProgTutorial/Intro.thy
ProgTutorial/Package/Ind_Code.thy
ProgTutorial/Parsing.thy
ProgTutorial/Recipes/Antiquotes.thy
ProgTutorial/Recipes/Sat.thy
ProgTutorial/Solutions.thy
ProgTutorial/Tactical.thy
ProgTutorial/antiquote_setup.ML
]]> Norbert Schirmer <norbert.schirmer@web.de> Wed, 22 May 2019 12:38:51 +0200 accomodate to upcoming Isabelle 2019 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/321e220a6baa https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/321e220a6baa changeset 321e220a6baa branch bookmark tag user Norbert Schirmer <norbert.schirmer@web.de> description accomodate to upcoming Isabelle 2019 files ProgTutorial/Base.thy
ProgTutorial/Essential.thy
ProgTutorial/Package/Ind_Prelims.thy
ProgTutorial/Parsing.thy
ProgTutorial/Readme.thy
ProgTutorial/Recipes/Antiquotes.thy
ProgTutorial/Tactical.thy
ProgTutorial/antiquote_setup.ML
]]> Norbert Schirmer <norbert.schirmer@web.de> Tue, 21 May 2019 16:22:30 +0200 prefer more result checking in ML antiquotations https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/438703674711 https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/438703674711 changeset 438703674711 branch bookmark tag user Norbert Schirmer <norbert.schirmer@web.de> description prefer more result checking in ML antiquotations files ProgTutorial/Advanced.thy
ProgTutorial/Base.thy
ProgTutorial/Essential.thy
ProgTutorial/First_Steps.thy
ProgTutorial/Package/Ind_Code.thy
ProgTutorial/Parsing.thy
ProgTutorial/Readme.thy
ProgTutorial/Recipes/ExternalSolver.thy
ProgTutorial/Recipes/Oracle.thy
ProgTutorial/Recipes/Sat.thy
ProgTutorial/Solutions.thy
ProgTutorial/Tactical.thy
ProgTutorial/antiquote_setup.ML
]]> Norbert Schirmer <norbert.schirmer@web.de> Tue, 21 May 2019 14:37:39 +0200 reactivated Readme.thy for authors https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/95b42288294e https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/rev/95b42288294e changeset 95b42288294e branch bookmark tag user Norbert Schirmer <norbert.schirmer@web.de> description reactivated Readme.thy for authors files ProgTutorial/Readme.thy
ROOT
]]> Norbert Schirmer <norbert.schirmer@web.de> Fri, 17 May 2019 11:21:09 +0200