regexp: Changelog

Mercurial Mercurial > hg > regexp / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10 +10 +100 +300 tip

Thu, 27 Jan 2011 00:51:46 +0000 tuned a little bit the section about finite partitions

urbanc [Thu, 27 Jan 2011 00:51:46 +0000] rev 39

tuned a little bit the section about finite partitions

Wed, 26 Jan 2011 23:39:42 +0000 Delete generated

zhang [Wed, 26 Jan 2011 23:39:42 +0000] rev 38

Delete generated

Wed, 26 Jan 2011 22:58:24 +0000 ITP-Paper loads Myhill.thy

wu [Wed, 26 Jan 2011 22:58:24 +0000] rev 37

ITP-Paper loads Myhill.thy

Wed, 26 Jan 2011 22:51:51 +0000 added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP

wu [Wed, 26 Jan 2011 22:51:51 +0000] rev 36

added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP

Wed, 26 Jan 2011 22:23:56 +0000 made the theory work under both Isabelle 2009 and 2011

urbanc [Wed, 26 Jan 2011 22:23:56 +0000] rev 35

made the theory work under both Isabelle 2009 and 2011

Wed, 26 Jan 2011 14:13:18 +0000 Just checkin

zhang [Wed, 26 Jan 2011 14:13:18 +0000] rev 34

Just checkin

Wed, 26 Jan 2011 14:12:36 +0000 Small modification

zhang [Wed, 26 Jan 2011 14:12:36 +0000] rev 33

Small modification

Wed, 26 Jan 2011 13:21:16 +0000 ok

zhang [Wed, 26 Jan 2011 13:21:16 +0000] rev 32

ok

Tue, 25 Jan 2011 12:14:31 +0000 1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML

zhang [Tue, 25 Jan 2011 12:14:31 +0000] rev 31

1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML

Mon, 24 Jan 2011 11:29:55 +0000 Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].

zhang [Mon, 24 Jan 2011 11:29:55 +0000] rev 30

Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].

(0) -10 +10 +100 +300 tip

regexp