https://cflmark.nms.kcl.ac.uk/hg/regexp/ en-us regexp Changelog regexp Changelog [default] added https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/058f29ab515c https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/058f29ab515c changeset 058f29ab515c branch default bookmark tag tip user Christian Urban <christian dot urban at kcl dot ac dot uk> description added files journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sun, 22 Dec 2013 07:37:26 +0000 added small comments https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/87d3306acca8 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/87d3306acca8 changeset 87d3306acca8 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added small comments files Journal/Paper.thy
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sun, 10 Nov 2013 17:07:19 +0000 added slides https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/5c283ecefda6 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/5c283ecefda6 changeset 5c283ecefda6 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added slides files ROOT
Slides/Slides6.thy
Slides/document/Screen1.png
Slides/document/beamerthemeplaincu.sty
Slides/document/root.tex
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 03 Oct 2013 15:29:03 +0100 added new slides https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/15b8fc34cb08 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/15b8fc34cb08 changeset 15b8fc34cb08 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added new slides files Slides/Slides6.thy
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 02 Oct 2013 13:17:32 +0100 added paper by Tobias https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/796de251332c https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/796de251332c changeset 796de251332c branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description added paper by Tobias files Literature/nipkow.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 27 Sep 2013 09:20:58 +0100 new version https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/0da31edd95b9 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/0da31edd95b9 changeset 0da31edd95b9 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description new version files Journal/JAR-response2
Journal/Paper.thy
Journal/document/root.bib
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Tue, 17 Sep 2013 11:21:58 +0100 more changes for final submission https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/288637d9dcde https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/288637d9dcde changeset 288637d9dcde branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description more changes for final submission files Journal/JAR-review2
Journal/Paper.thy
Journal/document/root.bib
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Sat, 14 Sep 2013 14:08:19 +0100 soem small changes https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/92ca56c1a199 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/92ca56c1a199 changeset 92ca56c1a199 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description soem small changes files Journal/Paper.thy
Journal/document/root.bib
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 12 Sep 2013 17:20:48 +0100 updated to new Isabelle https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/e5e32faa2446 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/e5e32faa2446 changeset e5e32faa2446 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description updated to new Isabelle files Journal/Paper.thy
List_Prefix.thy
Myhill_2.thy
Paper/Paper.thy
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 12 Sep 2013 10:34:11 +0200 comment by Chunhan https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/60bcf13adb77 https://cflmark.nms.kcl.ac.uk/hg/regexp/rev/60bcf13adb77 changeset 60bcf13adb77 branch bookmark tag user Christian Urban <christian dot urban at kcl dot ac dot uk> description comment by Chunhan files Journal/JAR-response
Journal/Paper.thy
journal.pdf
]]> Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 11 Jul 2013 16:46:05 +0100