Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -50 -30 +30 +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, 25 May 1999 20:23:30 +0200 added formal comment arguments almost everywhere (still ignored);
changeset
wenzelm [Tue, 25 May 1999 20:23:30 +0200] rev 6728
added formal comment arguments almost everywhere (still ignored);
Tue, 25 May 1999 20:22:41 +0200 renamed Comment.empty to Comment.none;
changeset
wenzelm [Tue, 25 May 1999 20:22:41 +0200] rev 6727
renamed Comment.empty to Comment.none; added P.marg_commend almost everywhere;
Tue, 25 May 1999 20:21:30 +0200 renamed Comment.empty to Comment.none;
changeset
wenzelm [Tue, 25 May 1999 20:21:30 +0200] rev 6726
renamed Comment.empty to Comment.none;
Tue, 25 May 1999 20:21:05 +0200 renamed empty to none;
changeset
wenzelm [Tue, 25 May 1999 20:21:05 +0200] rev 6725
renamed empty to none; added ignore, ignore_interest, ignore_interest';
Tue, 25 May 1999 20:19:59 +0200 fixed cvs Id;
changeset
wenzelm [Tue, 25 May 1999 20:19:59 +0200] rev 6724
fixed cvs Id;
Mon, 24 May 1999 21:57:13 +0200 outer syntax keyword classification;
changeset
wenzelm [Mon, 24 May 1999 21:57:13 +0200] rev 6723
outer syntax keyword classification; no open OuterParse;
Mon, 24 May 1999 21:56:14 +0200 added keyword classification;
changeset
wenzelm [Mon, 24 May 1999 21:56:14 +0200] rev 6722
added keyword classification;
Mon, 24 May 1999 21:55:34 +0200 tuned print_context;
changeset
wenzelm [Mon, 24 May 1999 21:55:34 +0200] rev 6721
tuned print_context;
Mon, 24 May 1999 21:54:34 +0200 write_keywords generates outer syntax keyword classification in elisp;
changeset
wenzelm [Mon, 24 May 1999 21:54:34 +0200] rev 6720
write_keywords generates outer syntax keyword classification in elisp;
Mon, 24 May 1999 21:53:18 +0200 outer syntax keyword classification;
changeset
wenzelm [Mon, 24 May 1999 21:53:18 +0200] rev 6719
outer syntax keyword classification; no open OuterParse;
Mon, 24 May 1999 15:56:24 +0200 renamed Lprg to Lift; simplified proof of Always_nonneg
changeset
paulson [Mon, 24 May 1999 15:56:24 +0200] rev 6718
renamed Lprg to Lift; simplified proof of Always_nonneg
Mon, 24 May 1999 15:54:58 +0200 int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc
changeset
paulson [Mon, 24 May 1999 15:54:58 +0200] rev 6717
int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc
Mon, 24 May 1999 15:54:12 +0200 Better simplification of (nat #0), (int (Suc 0)), etc
changeset
paulson [Mon, 24 May 1999 15:54:12 +0200] rev 6716
Better simplification of (nat #0), (int (Suc 0)), etc
Mon, 24 May 1999 15:53:28 +0200 UN_singleton->UN_constant_eq removes clash with other UN_singleton
changeset
paulson [Mon, 24 May 1999 15:53:28 +0200] rev 6715
UN_singleton->UN_constant_eq removes clash with other UN_singleton
Mon, 24 May 1999 15:51:33 +0200 new rule single_leadsTo_I; stronger PSP rule
changeset
paulson [Mon, 24 May 1999 15:51:33 +0200] rev 6714
new rule single_leadsTo_I; stronger PSP rule
Mon, 24 May 1999 15:50:53 +0200 increasing makes sense only for partial orderings
changeset
paulson [Mon, 24 May 1999 15:50:53 +0200] rev 6713
increasing makes sense only for partial orderings
Mon, 24 May 1999 15:50:23 +0200 generalized increasing_size to mono_increasing_o
changeset
paulson [Mon, 24 May 1999 15:50:23 +0200] rev 6712
generalized increasing_size to mono_increasing_o
Mon, 24 May 1999 15:49:44 +0200 updated for stronger version of psp
changeset
paulson [Mon, 24 May 1999 15:49:44 +0200] rev 6711
updated for stronger version of psp
Mon, 24 May 1999 15:49:24 +0200 new rule single_LeadsTo_I; stronger PSP rule; PSP_stable2->PSP_Stable2
changeset
paulson [Mon, 24 May 1999 15:49:24 +0200] rev 6710
new rule single_LeadsTo_I; stronger PSP rule; PSP_stable2->PSP_Stable2
Mon, 24 May 1999 15:48:27 +0200 expandshort
changeset
paulson [Mon, 24 May 1999 15:48:27 +0200] rev 6709
expandshort
Mon, 24 May 1999 15:47:57 +0200 lists are partially ordered by the prefix relation
changeset
paulson [Mon, 24 May 1999 15:47:57 +0200] rev 6708
lists are partially ordered by the prefix relation
Mon, 24 May 1999 15:47:36 +0200 using generic rules when possible
changeset
paulson [Mon, 24 May 1999 15:47:36 +0200] rev 6707
using generic rules when possible
Mon, 24 May 1999 15:47:06 +0200 Theory of the "Follows" relation
changeset
paulson [Mon, 24 May 1999 15:47:06 +0200] rev 6706
Theory of the "Follows" relation
Mon, 24 May 1999 15:46:20 +0200 Increasing makes sense only for partial orderings
changeset
paulson [Mon, 24 May 1999 15:46:20 +0200] rev 6705
Increasing makes sense only for partial orderings
Mon, 24 May 1999 15:45:54 +0200 generalized Increasing_size to mono_Increasing_o
changeset
paulson [Mon, 24 May 1999 15:45:54 +0200] rev 6704
generalized Increasing_size to mono_Increasing_o
Mon, 24 May 1999 15:45:22 +0200 tidied
changeset
paulson [Mon, 24 May 1999 15:45:22 +0200] rev 6703
tidied
Mon, 24 May 1999 15:44:56 +0200 renamed PSP_stable2->PSP_Stable2
changeset
paulson [Mon, 24 May 1999 15:44:56 +0200] rev 6702
renamed PSP_stable2->PSP_Stable2
Mon, 24 May 1999 15:44:20 +0200 now uses mono_Increasing_o
changeset
paulson [Mon, 24 May 1999 15:44:20 +0200] rev 6701
now uses mono_Increasing_o
Mon, 24 May 1999 15:43:45 +0200 updated for stronger version of psp
changeset
paulson [Mon, 24 May 1999 15:43:45 +0200] rev 6700
updated for stronger version of psp
Fri, 21 May 1999 16:26:06 +0200 Configuration for ProofGeneral of LFCS Edinburgh.
changeset
wenzelm [Fri, 21 May 1999 16:26:06 +0200] rev 6699
Configuration for ProofGeneral of LFCS Edinburgh.
(0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle