Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 28 Apr 2010 13:30:17 +0200 codified comment
changeset
haftmann [Wed, 28 Apr 2010 13:30:17 +0200] rev 36462
codified comment
Wed, 28 Apr 2010 13:29:57 +0200 merged
changeset
haftmann [Wed, 28 Apr 2010 13:29:57 +0200] rev 36461
merged
Wed, 28 Apr 2010 13:29:39 +0200 empty class specifcations observe default sort
changeset
haftmann [Wed, 28 Apr 2010 13:29:39 +0200] rev 36460
empty class specifcations observe default sort
Wed, 28 Apr 2010 16:56:51 +0200 document some known problems with Mac OS;
changeset
wenzelm [Wed, 28 Apr 2010 16:56:51 +0200] rev 36459
document some known problems with Mac OS;
Wed, 28 Apr 2010 16:12:21 +0200 removed redundant/ignored sort constraint;
changeset
wenzelm [Wed, 28 Apr 2010 16:12:21 +0200] rev 36458
removed redundant/ignored sort constraint;
Wed, 28 Apr 2010 16:11:13 +0200 tuned user-level type abbrevs: explicit warning concerning ignored sort constraints -- sorts never affect formation of types and type abbrevs strip sorts internally;
changeset
wenzelm [Wed, 28 Apr 2010 16:11:13 +0200] rev 36457
tuned user-level type abbrevs: explicit warning concerning ignored sort constraints -- sorts never affect formation of types and type abbrevs strip sorts internally;
Wed, 28 Apr 2010 13:32:00 +0200 made SML/NJ happy;
changeset
wenzelm [Wed, 28 Apr 2010 13:32:00 +0200] rev 36456
made SML/NJ happy;
Wed, 28 Apr 2010 12:23:14 +0200 updated keywords;
changeset
wenzelm [Wed, 28 Apr 2010 12:23:14 +0200] rev 36455
updated keywords;
Wed, 28 Apr 2010 12:21:55 +0200 command 'defaultsort' is renamed to 'default_sort', it works within a local theory context;
changeset
wenzelm [Wed, 28 Apr 2010 12:21:55 +0200] rev 36454
command 'defaultsort' is renamed to 'default_sort', it works within a local theory context;
Wed, 28 Apr 2010 12:18:49 +0200 removed material that is out of scope of this manual;
changeset
wenzelm [Wed, 28 Apr 2010 12:18:49 +0200] rev 36453
removed material that is out of scope of this manual;
Wed, 28 Apr 2010 12:07:52 +0200 renamed command 'defaultsort' to 'default_sort';
changeset
wenzelm [Wed, 28 Apr 2010 12:07:52 +0200] rev 36452
renamed command 'defaultsort' to 'default_sort';
Wed, 28 Apr 2010 11:41:27 +0200 localized default sort;
changeset
wenzelm [Wed, 28 Apr 2010 11:41:27 +0200] rev 36451
localized default sort;
Wed, 28 Apr 2010 11:13:11 +0200 more systematic naming of tsig operations;
changeset
wenzelm [Wed, 28 Apr 2010 11:13:11 +0200] rev 36450
more systematic naming of tsig operations;
Wed, 28 Apr 2010 11:09:19 +0200 modernized/simplified Sign.set_defsort;
changeset
wenzelm [Wed, 28 Apr 2010 11:09:19 +0200] rev 36449
modernized/simplified Sign.set_defsort;
Wed, 28 Apr 2010 10:51:34 +0200 get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred);
changeset
wenzelm [Wed, 28 Apr 2010 10:51:34 +0200] rev 36448
get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred); tuned;
Wed, 28 Apr 2010 10:43:08 +0200 export Type.minimize_sort;
changeset
wenzelm [Wed, 28 Apr 2010 10:43:08 +0200] rev 36447
export Type.minimize_sort;
Wed, 28 Apr 2010 08:25:02 +0200 term_typ: print styled term
changeset
haftmann [Wed, 28 Apr 2010 08:25:02 +0200] rev 36446
term_typ: print styled term
Tue, 27 Apr 2010 22:23:12 +0200 merged
changeset
wenzelm [Tue, 27 Apr 2010 22:23:12 +0200] rev 36445
merged
Tue, 27 Apr 2010 11:17:50 -0700 merged
changeset
huffman [Tue, 27 Apr 2010 11:17:50 -0700] rev 36444
merged
Tue, 27 Apr 2010 11:03:04 -0700 generalize types of path operations
changeset
huffman [Tue, 27 Apr 2010 11:03:04 -0700] rev 36443
generalize types of path operations
Tue, 27 Apr 2010 10:54:24 -0700 generalize more continuity lemmas
changeset
huffman [Tue, 27 Apr 2010 10:54:24 -0700] rev 36442
generalize more continuity lemmas
Tue, 27 Apr 2010 10:39:52 -0700 generalized many lemmas about continuity
changeset
huffman [Tue, 27 Apr 2010 10:39:52 -0700] rev 36441
generalized many lemmas about continuity
Mon, 26 Apr 2010 22:21:03 -0700 simplify definition of continuous_on; generalize some lemmas
changeset
huffman [Mon, 26 Apr 2010 22:21:03 -0700] rev 36440
simplify definition of continuous_on; generalize some lemmas
Mon, 26 Apr 2010 20:03:01 -0700 move intervals section heading
changeset
huffman [Mon, 26 Apr 2010 20:03:01 -0700] rev 36439
move intervals section heading
Mon, 26 Apr 2010 19:58:51 -0700 remove unused, redundant constant inv_on
changeset
huffman [Mon, 26 Apr 2010 19:58:51 -0700] rev 36438
remove unused, redundant constant inv_on
Mon, 26 Apr 2010 19:55:50 -0700 reorganize subsection headings
changeset
huffman [Mon, 26 Apr 2010 19:55:50 -0700] rev 36437
reorganize subsection headings
Mon, 26 Apr 2010 17:56:39 -0700 remove redundant lemma
changeset
huffman [Mon, 26 Apr 2010 17:56:39 -0700] rev 36436
remove redundant lemma
Mon, 26 Apr 2010 16:28:58 -0700 more lemmas to Vec1.thy
changeset
huffman [Mon, 26 Apr 2010 16:28:58 -0700] rev 36435
more lemmas to Vec1.thy
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle