https://cflmark.nms.kcl.ac.uk/hg/regexp/ en-us regexp: prio/IsaMakefile history prio/IsaMakefile revision history IsaMakefile modified https://cflmark.nms.kcl.ac.uk/hg/regexp/log/484c7b83f251/prio/IsaMakefile zhang Fri, 10 Aug 2012 13:54:21 +0000 added some slides for an informal talk about PIP https://cflmark.nms.kcl.ac.uk/hg/regexp/log/66e0ec8acedc/prio/IsaMakefile urbanc Thu, 28 Jun 2012 11:25:26 +0000 moved unused theories to Attic https://cflmark.nms.kcl.ac.uk/hg/regexp/log/a3b4eed091d2/prio/IsaMakefile urbanc Sun, 05 Feb 2012 21:00:12 +0000 changed abstract, intro and IsaMakefile https://cflmark.nms.kcl.ac.uk/hg/regexp/log/993068ce745f/prio/IsaMakefile urbanc Fri, 27 Jan 2012 23:19:10 +0000 Newer version. https://cflmark.nms.kcl.ac.uk/hg/regexp/log/24199eb2c423/prio/IsaMakefile zhang Fri, 27 Jan 2012 13:50:02 +0000 minor edit https://cflmark.nms.kcl.ac.uk/hg/regexp/log/f1e6071a4613/prio/IsaMakefile urbanc Tue, 24 Jan 2012 00:34:52 +0000 initial version of the PIP formalisation https://cflmark.nms.kcl.ac.uk/hg/regexp/log/4190df6f4488/prio/IsaMakefile urbanc Tue, 24 Jan 2012 00:20:09 +0000