Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+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
Wed, 16 Feb 2005 19:00:49 +0100
*** empty log message ***
changeset
nipkow [Wed, 16 Feb 2005 19:00:49 +0100] rev 15534
*** empty log message ***
Tue, 15 Feb 2005 16:56:15 +0100
refine now provides specific cases "goal1" ... "goaln" for addressing
changeset
berghofe [Tue, 15 Feb 2005 16:56:15 +0100] rev 15533
refine now provides specific cases "goal1" ... "goaln" for addressing subgoals of a proof state.
Mon, 14 Feb 2005 10:24:58 +0100
simplified a proof
changeset
paulson [Mon, 14 Feb 2005 10:24:58 +0100] rev 15532
simplified a proof
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip