Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-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
.
Fri, 19 Feb 2010 16:52:00 +0100
switched notations for pointwise and multiset order
changeset
haftmann [Fri, 19 Feb 2010 16:52:00 +0100] rev 35268
switched notations for pointwise and multiset order
Fri, 19 Feb 2010 14:47:01 +0100
moved remaning class operations from Algebras.thy to Groups.thy
changeset
haftmann [Fri, 19 Feb 2010 14:47:01 +0100] rev 35267
moved remaning class operations from Algebras.thy to Groups.thy
Fri, 19 Feb 2010 14:47:00 +0100
hide fact range_def
changeset
haftmann [Fri, 19 Feb 2010 14:47:00 +0100] rev 35266
hide fact range_def
Fri, 19 Feb 2010 14:47:00 +0100
dropped reference to type classes
changeset
haftmann [Fri, 19 Feb 2010 14:47:00 +0100] rev 35265
dropped reference to type classes
Fri, 19 Feb 2010 14:46:59 +0100
NEWS
changeset
haftmann [Fri, 19 Feb 2010 14:46:59 +0100] rev 35264
NEWS
Sun, 21 Feb 2010 23:05:37 +0100
filter out authentic const syntax;
changeset
wenzelm [Sun, 21 Feb 2010 23:05:37 +0100] rev 35263
filter out authentic const syntax;
Sun, 21 Feb 2010 22:35:02 +0100
slightly more abstract syntax mark/unmark operations;
changeset
wenzelm [Sun, 21 Feb 2010 22:35:02 +0100] rev 35262
slightly more abstract syntax mark/unmark operations;
Sun, 21 Feb 2010 21:41:29 +0100
tuned;
changeset
wenzelm [Sun, 21 Feb 2010 21:41:29 +0100] rev 35261
tuned;
Sun, 21 Feb 2010 21:33:11 +0100
NEWS: authentic syntax for *all* term constants;
changeset
wenzelm [Sun, 21 Feb 2010 21:33:11 +0100] rev 35260
NEWS: authentic syntax for *all* term constants;
Sun, 21 Feb 2010 21:12:26 +0100
concrete syntax for all constructors, to workaround authentic syntax problem with domain package;
changeset
wenzelm [Sun, 21 Feb 2010 21:12:26 +0100] rev 35259
concrete syntax for all constructors, to workaround authentic syntax problem with domain package;
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip