Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-12
+12
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Thu, 27 Jan 2011 12:35:06 +0000
Trying to solve the confict
changeset
zhang [Thu, 27 Jan 2011 12:35:06 +0000] rev 42
Trying to solve the confict
Thu, 27 Jan 2011 11:50:58 +0000
a newer version
changeset
zhang [Thu, 27 Jan 2011 11:50:58 +0000] rev 41
a newer version
Thu, 27 Jan 2011 05:39:19 +0000
tuned a bit more the last STAR-proof
changeset
wu [Thu, 27 Jan 2011 05:39:19 +0000] rev 40
tuned a bit more the last STAR-proof
Thu, 27 Jan 2011 00:51:46 +0000
tuned a little bit the section about finite partitions
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
zhang [Wed, 26 Jan 2011 14:13:18 +0000] rev 34
Just checkin
Wed, 26 Jan 2011 14:12:36 +0000
Small modification
changeset
zhang [Wed, 26 Jan 2011 14:12:36 +0000] rev 33
Small modification
Wed, 26 Jan 2011 13:21:16 +0000
ok
changeset
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
changeset
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
(0)
-12
+12
+100
+300
tip