https://cflmark.nms.kcl.ac.uk/hg/tm/ en-us tm: IsaMakefile history IsaMakefile revision history changed theory names to uppercase https://cflmark.nms.kcl.ac.uk/hg/tm/log/67063c5365e1/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Sun, 10 Feb 2013 19:49:07 +0000 updated https://cflmark.nms.kcl.ac.uk/hg/tm/log/8c7f10b3da7b/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 24 Jan 2013 00:20:26 +0100 updated to ITP and updated directories https://cflmark.nms.kcl.ac.uk/hg/tm/log/559e5c6e5113/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 18 Jan 2013 11:40:01 +0000 updated https://cflmark.nms.kcl.ac.uk/hg/tm/log/26b17f2d583e/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 26 Dec 2012 19:03:06 +0000 added https://cflmark.nms.kcl.ac.uk/hg/tm/log/4b9aa15ff713/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 26 Dec 2012 14:52:14 +0000 initial setup https://cflmark.nms.kcl.ac.uk/hg/tm/log/aa8656a8dbef/IsaMakefile Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 24 Dec 2012 01:26:23 +0000