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
.
Fri, 11 Jul 1997 13:28:53 +0200
Moved some declarations to Message from Public and Shared
changeset
paulson [Fri, 11 Jul 1997 13:28:53 +0200] rev 3514
Moved some declarations to Message from Public and Shared
Fri, 11 Jul 1997 13:27:15 +0200
Now loads theory Event, which contains common declarations
changeset
paulson [Fri, 11 Jul 1997 13:27:15 +0200] rev 3513
Now loads theory Event, which contains common declarations
Fri, 11 Jul 1997 13:26:15 +0200
Moving common declarations and proofs from theories "Shared"
changeset
paulson [Fri, 11 Jul 1997 13:26:15 +0200] rev 3512
Moving common declarations and proofs from theories "Shared" and "Public" to "Event". NB the original "Event" theory was later renamed "Shared". Addition of the Notes constructor to datatype "event".
Wed, 09 Jul 1997 17:00:34 +0200
removed obsolete init_pps and init_thy_reader;
changeset
wenzelm [Wed, 09 Jul 1997 17:00:34 +0200] rev 3511
removed obsolete init_pps and init_thy_reader;
Wed, 09 Jul 1997 16:54:17 +0200
improved type checking errors;
changeset
wenzelm [Wed, 09 Jul 1997 16:54:17 +0200] rev 3510
improved type checking errors;
Wed, 09 Jul 1997 16:53:53 +0200
removed init_pps;
changeset
wenzelm [Wed, 09 Jul 1997 16:53:53 +0200] rev 3509
removed init_pps;
Wed, 09 Jul 1997 16:52:51 +0200
removed init_database;
changeset
wenzelm [Wed, 09 Jul 1997 16:52:51 +0200] rev 3508
removed init_database;
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip