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, 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
Fri, 02 May 1997 16:21:04 +0200
New version of rail.sty for LaTeX 2e
changeset
berghofe [Fri, 02 May 1997 16:21:04 +0200] rev 3097
New version of rail.sty for LaTeX 2e
Fri, 02 May 1997 16:18:49 +0200
Updated to LaTeX 2e
changeset
berghofe [Fri, 02 May 1997 16:18:49 +0200] rev 3096
Updated to LaTeX 2e
Fri, 02 May 1997 16:18:11 +0200
Version of the proof macros for LaTeX 2e
changeset
berghofe [Fri, 02 May 1997 16:18:11 +0200] rev 3095
Version of the proof macros for LaTeX 2e
Fri, 02 May 1997 16:16:22 +0200
This file is now replaced by proof.sty
changeset
berghofe [Fri, 02 May 1997 16:16:22 +0200] rev 3094
This file is now replaced by proof.sty
Fri, 02 May 1997 10:19:19 +0200
Higher bound means much faster proof
changeset
paulson [Fri, 02 May 1997 10:19:19 +0200] rev 3093
Higher bound means much faster proof
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip