Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -30 -10 -6 +6 +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 13:04:28 +0200 moved from Contrib
changeset
clasohm [Wed, 07 Sep 1994 13:04:28 +0200] rev 588
moved from Contrib
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;
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle