Mercurial
Mercurial
>
hg
>
regexp
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30
-10
-3
+3
+10
+30
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 25 Jan 2011 12:14:31 +0000
zhang
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
|
files
Mon, 24 Jan 2011 11:29:55 +0000
zhang
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].
changeset
|
files
Fri, 07 Jan 2011 14:25:23 +0000
wu
Beautifying of the Other Direction is finished.
changeset
|
files
(0)
-30
-10
-3
+3
+10
+30
+100
+300
tip