Mercurial Mercurial > hg > regexp / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Journal/Paper.thy
Sun, 10 Nov 2013 17:07:19 +0000 Christian Urban added small comments file | diff | annotate
Tue, 17 Sep 2013 11:21:58 +0100 Christian Urban new version file | diff | annotate
Sat, 14 Sep 2013 14:08:19 +0100 Christian Urban more changes for final submission file | diff | annotate
Thu, 12 Sep 2013 17:20:48 +0100 Christian Urban soem small changes file | diff | annotate
Thu, 12 Sep 2013 10:34:11 +0200 Christian Urban updated to new Isabelle file | diff | annotate
Thu, 11 Jul 2013 16:46:05 +0100 Christian Urban comment by Chunhan file | diff | annotate
Thu, 11 Jul 2013 12:07:11 +0100 Christian Urban some more polishing file | diff | annotate
Wed, 10 Jul 2013 17:47:30 +0100 Christian Urban added modified version adn answer to the reviewers file | diff | annotate
Fri, 05 Jul 2013 17:19:17 +0100 Christian Urban polished more and updated to new isabelle file | diff | annotate
Fri, 05 Jul 2013 12:07:48 +0100 Christian Urban deleted utm-work from the repository file | diff | annotate
Mon, 04 Mar 2013 21:01:55 +0000 Christian Urban updated file | diff | annotate
Fri, 01 Mar 2013 17:13:32 +0000 Christian Urban adapted to JAR file | diff | annotate
Wed, 12 Dec 2012 11:45:04 +0000 Christian Urban slight changes file | diff | annotate
Mon, 03 Dec 2012 08:16:58 +0000 Christian Urban made changes and updates to the journal paper file | diff | annotate
Mon, 23 Apr 2012 08:01:37 +0000 urbanc made changes for another journal submission of the MN-paper file | diff | annotate
Fri, 20 Apr 2012 11:45:06 +0000 urbanc made changes for another journal submission of the MH-paper file | diff | annotate
Fri, 13 Apr 2012 13:12:43 +0000 urbanc made the changes thes 2nd referee suggested and made it to compile again file | diff | annotate
Wed, 22 Feb 2012 13:25:49 +0000 urbanc partially updated conference paper; slightly tuned journal paper file | diff | annotate
Sat, 17 Dec 2011 13:32:11 +0000 urbanc updated urls to AFP file | diff | annotate
Sun, 20 Nov 2011 22:53:50 +0000 urbanc added slides for a talk in St Andrews file | diff | annotate
Fri, 11 Nov 2011 23:38:10 +0000 urbanc small change file | diff | annotate
Thu, 15 Sep 2011 12:46:00 +0000 urbanc set -> language file | diff | annotate
Wed, 14 Sep 2011 15:56:03 +0000 urbanc added paper that recently appeared about rexps and pegs file | diff | annotate
Wed, 14 Sep 2011 13:39:03 +0000 urbanc polished the non-regularity proof file | diff | annotate
Wed, 14 Sep 2011 13:00:44 +0000 urbanc clarified proof about non-regularity file | diff | annotate
Wed, 14 Sep 2011 11:46:50 +0000 urbanc corrected typo found by Xingyuan file | diff | annotate
Tue, 13 Sep 2011 12:00:53 +0000 urbanc small typo file | diff | annotate
Mon, 12 Sep 2011 19:50:21 +0000 urbanc a final polishing before submitting later this week file | diff | annotate
Thu, 08 Sep 2011 15:08:02 +0000 urbanc one more itteration on the paper file | diff | annotate
Wed, 07 Sep 2011 18:17:56 +0000 urbanc some more polishing and a link to Haines file | diff | annotate
Wed, 07 Sep 2011 09:28:13 +0000 urbanc polished a bit the journal paper file | diff | annotate
Tue, 06 Sep 2011 02:35:10 +0000 urbanc polished proposal file | diff | annotate
Mon, 05 Sep 2011 15:42:29 +0000 urbanc added section about non-regularity file | diff | annotate
Mon, 05 Sep 2011 14:15:32 +0000 urbanc polished SUBSEQ file | diff | annotate
Mon, 05 Sep 2011 13:44:01 +0000 urbanc slight polishing to SUBSEQ file | diff | annotate
Mon, 05 Sep 2011 13:43:12 +0000 urbanc slight polishing to SUBSEQ file | diff | annotate
Mon, 05 Sep 2011 12:07:16 +0000 urbanc added section about SUBSEQ and SUPSEQ file | diff | annotate
Fri, 26 Aug 2011 17:23:46 +0000 urbanc added a few points file | diff | annotate
Thu, 25 Aug 2011 19:33:41 +0000 urbanc a few bits on the journal paper file | diff | annotate
Mon, 22 Aug 2011 12:49:27 +0000 urbanc changes according to afp-submission file | diff | annotate
Fri, 19 Aug 2011 06:57:57 +0000 urbanc added comments by Xingyuan file | diff | annotate
Wed, 17 Aug 2011 17:36:19 +0000 urbanc added an example for non-regularity and continuation lemma (the example does not yet work) file | diff | annotate
Wed, 17 Aug 2011 07:43:09 +0000 urbanc a little tuning file | diff | annotate
Tue, 16 Aug 2011 10:21:14 +0000 urbanc final(?) version of the paper file | diff | annotate
Mon, 15 Aug 2011 22:36:26 +0000 urbanc a bit more polishing file | diff | annotate
Mon, 15 Aug 2011 21:09:08 +0000 urbanc polishing of the closure section and conclusion file | diff | annotate
Thu, 11 Aug 2011 23:42:06 +0000 urbanc some typos file | diff | annotate
Thu, 11 Aug 2011 23:11:39 +0000 urbanc finished section about derivatives and closure properties file | diff | annotate
Tue, 09 Aug 2011 22:15:11 +0000 urbanc more on paper file | diff | annotate
Fri, 05 Aug 2011 05:34:11 +0000 urbanc more on the derivatives section file | diff | annotate
Wed, 03 Aug 2011 17:08:31 +0000 urbanc added more to the derivatives section file | diff | annotate
Wed, 03 Aug 2011 13:56:01 +0000 urbanc completed the taging-function section file | diff | annotate
Wed, 03 Aug 2011 12:36:23 +0000 urbanc more on the paper file | diff | annotate
Wed, 03 Aug 2011 00:52:41 +0000 urbanc cleaned up the proofs in Myhill_2 file | diff | annotate
Tue, 02 Aug 2011 15:27:37 +0000 urbanc a version of the proof which dispenses with the notion of string-subtraction file | diff | annotate
Sun, 31 Jul 2011 10:27:41 +0000 urbanc some experiments with the proofs in Myhill_2 file | diff | annotate
Thu, 28 Jul 2011 17:52:36 +0000 urbanc added a picture file | diff | annotate
Thu, 28 Jul 2011 14:22:10 +0000 urbanc small improvements file | diff | annotate
Thu, 28 Jul 2011 11:56:25 +0000 urbanc added more examles file | diff | annotate
Thu, 28 Jul 2011 01:12:02 +0000 urbanc more one the paper file | diff | annotate
Wed, 27 Jul 2011 15:29:39 +0000 urbanc latest version of the journal paper file | diff | annotate
Wed, 27 Jul 2011 12:32:28 +0000 urbanc polished the introduction file | diff | annotate
Tue, 26 Jul 2011 18:12:07 +0000 urbanc more on the section about derivatives file | diff | annotate
Tue, 26 Jul 2011 10:58:26 +0000 urbanc more on the introduction of the journal paper file | diff | annotate
Mon, 25 Jul 2011 18:00:52 +0000 urbanc more on the journal paper file | diff | annotate
Mon, 25 Jul 2011 13:33:38 +0000 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic file | diff | annotate
Thu, 02 Jun 2011 20:02:16 +0000 urbanc added a journal version file | diff | annotate
Wed, 18 May 2011 19:54:43 +0000 urbanc added directory for journal version; took uptodate version of the theory files file | diff | annotate | base
less more (0) tip
regexp