Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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
.
Wed, 07 Sep 1994 10:43:30 +0200
renamed temporary variable 'base' to 'thy' in mk_structure
changeset
clasohm [Wed, 07 Sep 1994 10:43:30 +0200] rev 587
renamed temporary variable 'base' to 'thy' in mk_structure
Tue, 06 Sep 1994 14:44:10 +0200
renamed base_on into mk_base and moved it to the beginning of the generated
changeset
clasohm [Tue, 06 Sep 1994 14:44:10 +0200] rev 586
renamed base_on into mk_base and moved it to the beginning of the generated .thy.ML file to make sure that all base theories are present when ML executes the rest of this file
Tue, 06 Sep 1994 13:46:53 +0200
Pure/type/unvarifyT: moved there from logic.ML
changeset
lcp [Tue, 06 Sep 1994 13:46:53 +0200] rev 585
Pure/type/unvarifyT: moved there from logic.ML
Tue, 06 Sep 1994 13:28:56 +0200
documentation of theory sections (co)inductive and (co)datatype
changeset
lcp [Tue, 06 Sep 1994 13:28:56 +0200] rev 584
documentation of theory sections (co)inductive and (co)datatype
Tue, 06 Sep 1994 13:10:38 +0200
minor internal changes;
changeset
wenzelm [Tue, 06 Sep 1994 13:10:38 +0200] rev 583
minor internal changes;
Tue, 06 Sep 1994 13:09:58 +0200
added ext_tsig_types;
changeset
wenzelm [Tue, 06 Sep 1994 13:09:58 +0200] rev 582
added ext_tsig_types; various minor changes;
Tue, 06 Sep 1994 11:02:16 +0200
removal of needless quotes
changeset
lcp [Tue, 06 Sep 1994 11:02:16 +0200] rev 581
removal of needless quotes
(0)
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip