https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: ProgTutorial/document/build history ProgTutorial/document/build revision history improvements by Piotr Trojanek https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/ffa5c4ec9611/ProgTutorial/document/build Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 15 Oct 2014 23:12:54 +0100 made build-script more robust https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/4d7543f48476/ProgTutorial/document/build Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 26 Jul 2013 16:30:33 +0200 updated https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/308ba2488d40/ProgTutorial/document/build 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/ProgTutorial/document/build Christian Urban <urbanc@in.tum.de> Tue, 28 Aug 2012 21:23:32 +0100