Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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
.
Mon, 05 May 1997 13:24:38 +0200
SYNC;
changeset
wenzelm [Mon, 05 May 1997 13:24:38 +0200] rev 3104
SYNC;
Mon, 05 May 1997 13:24:11 +0200
misc updates, tuning, cleanup;
changeset
wenzelm [Mon, 05 May 1997 13:24:11 +0200] rev 3103
misc updates, tuning, cleanup;
Mon, 05 May 1997 12:15:53 +0200
Some blast_tac calls; more needed
changeset
paulson [Mon, 05 May 1997 12:15:53 +0200] rev 3102
Some blast_tac calls; more needed
Mon, 05 May 1997 12:15:20 +0200
Again "norm" DOES NOT normalize bodies of abstractions
changeset
paulson [Mon, 05 May 1997 12:15:20 +0200] rev 3101
Again "norm" DOES NOT normalize bodies of abstractions Showterm (used for tracing) now follows variable instantiations (in order to make up for the "norm" change)
Fri, 02 May 1997 18:19:25 +0200
fixed comment;
changeset
wenzelm [Fri, 02 May 1997 18:19:25 +0200] rev 3100
fixed comment;
Fri, 02 May 1997 18:19:01 +0200
-P option (prune empty dirs);
changeset
wenzelm [Fri, 02 May 1997 18:19:01 +0200] rev 3099
-P option (prune empty dirs);
Fri, 02 May 1997 16:41:35 +0200
Updated to LaTeX 2e
changeset
berghofe [Fri, 02 May 1997 16:41:35 +0200] rev 3098
Updated to LaTeX 2e
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip