Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 19 Feb 2005 18:44:34 +0100
lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned.
changeset
dixon [Sat, 19 Feb 2005 18:44:34 +0100] rev 15538
lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned.
Fri, 18 Feb 2005 15:20:27 +0100
continued eliminating sumr
changeset
nipkow [Fri, 18 Feb 2005 15:20:27 +0100] rev 15537
continued eliminating sumr
Fri, 18 Feb 2005 11:48:53 +0100
starting to get rid of sumr
changeset
nipkow [Fri, 18 Feb 2005 11:48:53 +0100] rev 15536
starting to get rid of sumr
Fri, 18 Feb 2005 11:48:42 +0100
tuning
changeset
nipkow [Fri, 18 Feb 2005 11:48:42 +0100] rev 15535
tuning
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip