Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -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, 12 Feb 2009 21:15:54 +0100 improved sorry/noproof markup;
changeset
wenzelm [Thu, 12 Feb 2009 21:15:54 +0100] rev 29733
improved sorry/noproof markup;
Thu, 12 Feb 2009 11:36:15 +0100 tuned;
changeset
wenzelm [Thu, 12 Feb 2009 11:36:15 +0100] rev 29732
tuned;
Thu, 12 Feb 2009 11:19:54 +0100 updated generated files;
changeset
wenzelm [Thu, 12 Feb 2009 11:19:54 +0100] rev 29731
updated generated files;
Thu, 12 Feb 2009 11:19:12 +0100 added example "First-Order Logic" -- mostly from Trybulec Festschrift;
changeset
wenzelm [Thu, 12 Feb 2009 11:19:12 +0100] rev 29730
added example "First-Order Logic" -- mostly from Trybulec Festschrift;
Wed, 11 Feb 2009 21:41:05 +0100 more on Isar framework -- mostly from Trybulec Festschrift;
changeset
wenzelm [Wed, 11 Feb 2009 21:41:05 +0100] rev 29729
more on Isar framework -- mostly from Trybulec Festschrift;
Wed, 11 Feb 2009 21:40:16 +0100 more refs;
changeset
wenzelm [Wed, 11 Feb 2009 21:40:16 +0100] rev 29728
more refs;
Wed, 11 Feb 2009 21:39:59 +0100 some more Isar elements;
changeset
wenzelm [Wed, 11 Feb 2009 21:39:59 +0100] rev 29727
some more Isar elements;
Wed, 11 Feb 2009 21:39:37 +0100 added "inference" entity;
changeset
wenzelm [Wed, 11 Feb 2009 21:39:37 +0100] rev 29726
added "inference" entity;
Wed, 11 Feb 2009 21:39:12 +0100 some more macros;
changeset
wenzelm [Wed, 11 Feb 2009 21:39:12 +0100] rev 29725
some more macros;
Wed, 11 Feb 2009 21:38:28 +0100 proof/qed: optional methods;
changeset
wenzelm [Wed, 11 Feb 2009 21:38:28 +0100] rev 29724
proof/qed: optional methods;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle