Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -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.
Thu, 06 Apr 2000 13:39:49 +0200 'welcome' made diagnostic;
changeset
wenzelm [Thu, 06 Apr 2000 13:39:49 +0200] rev 8678
'welcome' made diagnostic;
Wed, 05 Apr 2000 21:08:24 +0200 added Isar_examples/NestedDatatype.thy;
changeset
wenzelm [Wed, 05 Apr 2000 21:08:24 +0200] rev 8677
added Isar_examples/NestedDatatype.thy;
Wed, 05 Apr 2000 21:07:09 +0200 added NestedDatatype.thy;
changeset
wenzelm [Wed, 05 Apr 2000 21:07:09 +0200] rev 8676
added NestedDatatype.thy;
Wed, 05 Apr 2000 21:06:52 +0200 added NestedDatatype;
changeset
wenzelm [Wed, 05 Apr 2000 21:06:52 +0200] rev 8675
added NestedDatatype;
Wed, 05 Apr 2000 21:06:37 +0200 fixed goal selection;
changeset
wenzelm [Wed, 05 Apr 2000 21:06:37 +0200] rev 8674
fixed goal selection;
Wed, 05 Apr 2000 21:06:06 +0200 Isar: simplified (more robust) goal selection of proof methods;
changeset
wenzelm [Wed, 05 Apr 2000 21:06:06 +0200] rev 8673
Isar: simplified (more robust) goal selection of proof methods; Isar: tuned 'let' syntax: replace 'as' keyword by 'and';
Wed, 05 Apr 2000 21:05:20 +0200 induct/case_tac emulation: optional rule;
changeset
wenzelm [Wed, 05 Apr 2000 21:05:20 +0200] rev 8672
induct/case_tac emulation: optional rule; add_cases_induct: fixed case names;
Wed, 05 Apr 2000 21:02:31 +0200 HEADGOAL;
changeset
wenzelm [Wed, 05 Apr 2000 21:02:31 +0200] rev 8671
HEADGOAL;
Wed, 05 Apr 2000 21:02:19 +0200 tuned comment;
changeset
wenzelm [Wed, 05 Apr 2000 21:02:19 +0200] rev 8670
tuned comment;
Wed, 05 Apr 2000 21:01:59 +0200 removed "as" keyword;
changeset
wenzelm [Wed, 05 Apr 2000 21:01:59 +0200] rev 8669
removed "as" keyword;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle