Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 26 Nov 1996 16:18:42 +0100 Eta-expansion of a function definition, for value polymorphism
changeset
paulson [Tue, 26 Nov 1996 16:18:42 +0100] rev 2228
Eta-expansion of a function definition, for value polymorphism
Tue, 26 Nov 1996 16:15:50 +0100 Removal of needless function definition
changeset
paulson [Tue, 26 Nov 1996 16:15:50 +0100] rev 2227
Removal of needless function definition
Tue, 26 Nov 1996 16:11:18 +0100 Eta-expansion of a function definition, for value polymorphism
changeset
paulson [Tue, 26 Nov 1996 16:11:18 +0100] rev 2226
Eta-expansion of a function definition, for value polymorphism
Tue, 26 Nov 1996 16:07:17 +0100 Added instructions on starting up
changeset
paulson [Tue, 26 Nov 1996 16:07:17 +0100] rev 2225
Added instructions on starting up
Tue, 26 Nov 1996 15:59:28 +0100 New material from Norbert Voelker for efficient binary comparisons
changeset
paulson [Tue, 26 Nov 1996 15:59:28 +0100] rev 2224
New material from Norbert Voelker for efficient binary comparisons
Tue, 26 Nov 1996 14:28:17 +0100 A bit of commutative ing theory, with a simplification tacxtic and an example.
changeset
nipkow [Tue, 26 Nov 1996 14:28:17 +0100] rev 2223
A bit of commutative ing theory, with a simplification tacxtic and an example.
Tue, 26 Nov 1996 14:26:38 +0100 Added Lagrang. Modified comment.
changeset
nipkow [Tue, 26 Nov 1996 14:26:38 +0100] rev 2222
Added Lagrang. Modified comment.
Mon, 25 Nov 1996 08:25:39 +0100 Replaced LK&Modal by Sequents
changeset
nipkow [Mon, 25 Nov 1996 08:25:39 +0100] rev 2221
Replaced LK&Modal by Sequents
Fri, 22 Nov 1996 17:46:31 +0100 Updating of a reference (Ch. Paulin)
changeset
paulson [Fri, 22 Nov 1996 17:46:31 +0100] rev 2220
Updating of a reference (Ch. Paulin)
Fri, 22 Nov 1996 17:44:05 +0100 Minor textual improvements; updating of a reference
changeset
paulson [Fri, 22 Nov 1996 17:44:05 +0100] rev 2219
Minor textual improvements; updating of a reference
Fri, 22 Nov 1996 17:41:32 +0100 Have been obsolete for months; contents are now in Shared and NS_Shared
changeset
paulson [Fri, 22 Nov 1996 17:41:32 +0100] rev 2218
Have been obsolete for months; contents are now in Shared and NS_Shared
Fri, 22 Nov 1996 17:38:27 +0100 Basis library emulation for old ML compilers
changeset
paulson [Fri, 22 Nov 1996 17:38:27 +0100] rev 2217
Basis library emulation for old ML compilers
Thu, 21 Nov 1996 16:04:27 +0100 Added warning message
changeset
paulson [Thu, 21 Nov 1996 16:04:27 +0100] rev 2216
Added warning message
Thu, 21 Nov 1996 15:28:25 +0100 Tidied up some proofs, ...
changeset
paulson [Thu, 21 Nov 1996 15:28:25 +0100] rev 2215
Tidied up some proofs, ...
Thu, 21 Nov 1996 15:19:09 +0100 Minor reformatting
changeset
paulson [Thu, 21 Nov 1996 15:19:09 +0100] rev 2214
Minor reformatting
Thu, 21 Nov 1996 15:12:39 +0100 Further comments on versions of SML/NJ
changeset
paulson [Thu, 21 Nov 1996 15:12:39 +0100] rev 2213
Further comments on versions of SML/NJ
Wed, 20 Nov 1996 10:32:58 +0100 plus -> Plus to avoid hiding class plus
changeset
nipkow [Wed, 20 Nov 1996 10:32:58 +0100] rev 2212
plus -> Plus to avoid hiding class plus
Tue, 19 Nov 1996 14:20:02 +0100 restored changed prettyprinting of ==>;
changeset
wenzelm [Tue, 19 Nov 1996 14:20:02 +0100] rev 2211
restored changed prettyprinting of ==>;
Tue, 19 Nov 1996 13:21:28 +0100 removed old commented out text;
changeset
wenzelm [Tue, 19 Nov 1996 13:21:28 +0100] rev 2210
removed old commented out text;
Tue, 19 Nov 1996 13:21:02 +0100 minor tuning;
changeset
wenzelm [Tue, 19 Nov 1996 13:21:02 +0100] rev 2209
minor tuning;
Tue, 19 Nov 1996 13:20:38 +0100 tuned some char names;
changeset
wenzelm [Tue, 19 Nov 1996 13:20:38 +0100] rev 2208
tuned some char names;
Tue, 19 Nov 1996 13:04:07 +0100 added this file;
changeset
wenzelm [Tue, 19 Nov 1996 13:04:07 +0100] rev 2207
added this file;
Tue, 19 Nov 1996 13:03:35 +0100 added add_modesyntax(_i);
changeset
wenzelm [Tue, 19 Nov 1996 13:03:35 +0100] rev 2206
added add_modesyntax(_i);
Mon, 18 Nov 1996 17:33:35 +0100 added symbolfont syntax;
changeset
wenzelm [Mon, 18 Nov 1996 17:33:35 +0100] rev 2205
added symbolfont syntax;
(0) -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle