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.
Tue, 07 Sep 2004 13:41:30 +0200 fixed discrete field.
changeset
nipkow [Tue, 07 Sep 2004 13:41:30 +0200] rev 15186
fixed discrete field.
Tue, 07 Sep 2004 11:42:50 +0200 tuned "discrete" field
changeset
nipkow [Tue, 07 Sep 2004 11:42:50 +0200] rev 15185
tuned "discrete" field
Mon, 06 Sep 2004 17:37:35 +0200 made mult_mono_thms generic.
changeset
nipkow [Mon, 06 Sep 2004 17:37:35 +0200] rev 15184
made mult_mono_thms generic.
Mon, 06 Sep 2004 16:45:10 +0200 now rejects degenerate (looping) cases
changeset
paulson [Mon, 06 Sep 2004 16:45:10 +0200] rev 15183
now rejects degenerate (looping) cases
Mon, 06 Sep 2004 15:57:58 +0200 new "respects" syntax for the congruent operator
changeset
paulson [Mon, 06 Sep 2004 15:57:58 +0200] rev 15182
new "respects" syntax for the congruent operator
Fri, 03 Sep 2004 22:40:57 +0200 *** empty log message ***
changeset
nipkow [Fri, 03 Sep 2004 22:40:57 +0200] rev 15181
*** empty log message ***
Fri, 03 Sep 2004 20:20:44 +0200 float2real is now globally available
changeset
obua [Fri, 03 Sep 2004 20:20:44 +0200] rev 15180
float2real is now globally available
Fri, 03 Sep 2004 17:46:47 +0200 Matrix theory
changeset
obua [Fri, 03 Sep 2004 17:46:47 +0200] rev 15179
Matrix theory
Fri, 03 Sep 2004 17:10:36 +0200 Matrix theory, linear programming
changeset
obua [Fri, 03 Sep 2004 17:10:36 +0200] rev 15178
Matrix theory, linear programming
Fri, 03 Sep 2004 10:27:05 +0200 new theorem symD
changeset
paulson [Fri, 03 Sep 2004 10:27:05 +0200] rev 15177
new theorem symD
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle