Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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, 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
(0)
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip