Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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, 15 Jan 1996 15:50:41 +0100
added Lattice demo;
changeset
wenzelm [Mon, 15 Jan 1996 15:50:41 +0100] rev 1441
added Lattice demo;
Mon, 15 Jan 1996 15:49:21 +0100
added this stuff;
changeset
wenzelm [Mon, 15 Jan 1996 15:49:21 +0100] rev 1440
added this stuff;
Mon, 15 Jan 1996 15:47:10 +0100
improved printing of errors in 'defs';
changeset
wenzelm [Mon, 15 Jan 1996 15:47:10 +0100] rev 1439
improved printing of errors in 'defs'; fixed small bug in 'standard' (it used to fail stripping shyps in some cases);
Mon, 15 Jan 1996 15:00:14 +0100
added comments
changeset
clasohm [Mon, 15 Jan 1996 15:00:14 +0100] rev 1438
added comments
Mon, 15 Jan 1996 14:56:38 +0100
beautified file_info a bit
changeset
clasohm [Mon, 15 Jan 1996 14:56:38 +0100] rev 1437
beautified file_info a bit
Mon, 15 Jan 1996 14:47:56 +0100
fixed bug in file_info
changeset
clasohm [Mon, 15 Jan 1996 14:47:56 +0100] rev 1436
fixed bug in file_info
Thu, 11 Jan 1996 10:29:31 +0100
Removed bug in type unification. Negative indexes are not used any longer.
changeset
nipkow [Thu, 11 Jan 1996 10:29:31 +0100] rev 1435
Removed bug in type unification. Negative indexes are not used any longer. Had to change interface to Type.unify to pass maxidx. Thus changes in the clients.
Tue, 09 Jan 1996 13:45:58 +0100
simplified file_info by using System.filedate
changeset
clasohm [Tue, 09 Jan 1996 13:45:58 +0100] rev 1434
simplified file_info by using System.filedate
Sat, 06 Jan 1996 14:04:12 +0100
removed reference to Nat thms in elim_rls.
changeset
nipkow [Sat, 06 Jan 1996 14:04:12 +0100] rev 1433
removed reference to Nat thms in elim_rls.
Sat, 06 Jan 1996 14:02:52 +0100
Minor mod.
changeset
nipkow [Sat, 06 Jan 1996 14:02:52 +0100] rev 1432
Minor mod.
(0)
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip