https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: ProgTutorial/Helper/IsaMakefile history ProgTutorial/Helper/IsaMakefile revision history polished the commands section https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/e450fa467e3f/ProgTutorial/Helper/IsaMakefile Christian Urban <urbanc@in.tum.de> Sat, 22 Aug 2009 02:56:08 +0200 tuned https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/185921021551/ProgTutorial/Helper/IsaMakefile Christian Urban <urbanc@in.tum.de> Fri, 21 Aug 2009 16:23:51 +0200