Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Mon, 09 Nov 1998 10:59:47 +0100
new TIMES/Sigma rules
changeset
paulson [Mon, 09 Nov 1998 10:59:47 +0100] rev 5810
new TIMES/Sigma rules
Mon, 09 Nov 1998 10:58:49 +0100
removed obsolete comment and "open" declaration
changeset
paulson [Mon, 09 Nov 1998 10:58:49 +0100] rev 5809
removed obsolete comment and "open" declaration
Fri, 06 Nov 1998 15:48:37 +0100
"Subscribe" link
changeset
paulson [Fri, 06 Nov 1998 15:48:37 +0100] rev 5808
"Subscribe" link
Fri, 06 Nov 1998 14:04:54 +0100
spell check;
changeset
wenzelm [Fri, 06 Nov 1998 14:04:54 +0100] rev 5807
spell check;
Fri, 06 Nov 1998 13:58:59 +0100
tuned;
changeset
wenzelm [Fri, 06 Nov 1998 13:58:59 +0100] rev 5806
tuned;
Fri, 06 Nov 1998 13:42:13 +0100
added mailing list, removed mirrors;
changeset
mueller [Fri, 06 Nov 1998 13:42:13 +0100] rev 5805
added mailing list, removed mirrors;
Fri, 06 Nov 1998 13:20:29 +0100
Revising the Client proof as suggested by Michel Charpentier. New lemmas
changeset
paulson [Fri, 06 Nov 1998 13:20:29 +0100] rev 5804
Revising the Client proof as suggested by Michel Charpentier. New lemmas about composition (in Union.ML), etc. Also changed "length" to "size" because it is displayed as "size" in any event.
Thu, 05 Nov 1998 15:33:27 +0100
made more generic;
changeset
mueller [Thu, 05 Nov 1998 15:33:27 +0100] rev 5803
made more generic;
Thu, 05 Nov 1998 14:05:57 +0100
Shortened names and added new thm.
changeset
nipkow [Thu, 05 Nov 1998 14:05:57 +0100] rev 5802
Shortened names and added new thm.
Wed, 04 Nov 1998 13:00:15 +0100
Some streamlining of text.
changeset
paulson [Wed, 04 Nov 1998 13:00:15 +0100] rev 5801
Some streamlining of text. Theory library is now assumed to be LOCAL and not at TUM.
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip