Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -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.
Mon, 28 Jun 1999 21:38:50 +0200 added cond_extern_table;
changeset
wenzelm [Mon, 28 Jun 1999 21:38:50 +0200] rev 6845
added cond_extern_table;
Fri, 25 Jun 1999 13:37:51 +0200 branching_level = 400;
changeset
wenzelm [Fri, 25 Jun 1999 13:37:51 +0200] rev 6844
branching_level = 400;
Wed, 23 Jun 1999 10:40:13 +0200 tidied
changeset
paulson [Wed, 23 Jun 1999 10:40:13 +0200] rev 6843
tidied
Wed, 23 Jun 1999 10:39:35 +0200 renamed PPI to plam
changeset
paulson [Wed, 23 Jun 1999 10:39:35 +0200] rev 6842
renamed PPI to plam simplified the definition of lift_act
Wed, 23 Jun 1999 10:38:49 +0200 renamed PPI to plam
changeset
paulson [Wed, 23 Jun 1999 10:38:49 +0200] rev 6841
renamed PPI to plam
Wed, 23 Jun 1999 10:38:09 +0200 another non-working snapshot
changeset
paulson [Wed, 23 Jun 1999 10:38:09 +0200] rev 6840
another non-working snapshot
Wed, 23 Jun 1999 10:37:29 +0200 new distributive laws involving * and -
changeset
paulson [Wed, 23 Jun 1999 10:37:29 +0200] rev 6839
new distributive laws involving * and -
Wed, 23 Jun 1999 10:36:59 +0200 rewrite rules to distribute CONSTANT multiplication over sum and difference;
changeset
paulson [Wed, 23 Jun 1999 10:36:59 +0200] rev 6838
rewrite rules to distribute CONSTANT multiplication over sum and difference; removed automatic rewriting of 2x to x+x
Thu, 17 Jun 1999 10:43:05 +0200 another snapshot, still not working
changeset
paulson [Thu, 17 Jun 1999 10:43:05 +0200] rev 6837
another snapshot, still not working
Thu, 17 Jun 1999 10:41:39 +0200 new results about SKIP
changeset
paulson [Thu, 17 Jun 1999 10:41:39 +0200] rev 6836
new results about SKIP
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle