Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -16 +16 +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 23:02:03 +0200 tuned;
changeset
wenzelm [Mon, 28 Jun 1999 23:02:03 +0200] rev 6852
tuned;
Mon, 28 Jun 1999 21:48:36 +0200 cond_extern_table;
changeset
wenzelm [Mon, 28 Jun 1999 21:48:36 +0200] rev 6851
cond_extern_table;
Mon, 28 Jun 1999 21:47:55 +0200 added presume command;
changeset
wenzelm [Mon, 28 Jun 1999 21:47:55 +0200] rev 6850
added presume command;
Mon, 28 Jun 1999 21:47:04 +0200 cond_extern_table;
changeset
wenzelm [Mon, 28 Jun 1999 21:47:04 +0200] rev 6849
cond_extern_table; datatype method = Method of thm list -> tactic;
Mon, 28 Jun 1999 21:46:33 +0200 tuned print_state;
changeset
wenzelm [Mon, 28 Jun 1999 21:46:33 +0200] rev 6848
tuned print_state; datatype method = Method of thm list -> tactic; assumptions: back-pressure solver as parameter;
Mon, 28 Jun 1999 21:44:19 +0200 tuned output: print_context replaced by strings_of_context;
changeset
wenzelm [Mon, 28 Jun 1999 21:44:19 +0200] rev 6847
tuned output: print_context replaced by strings_of_context; assumptions: back-pressure solver as parameter;
Mon, 28 Jun 1999 21:41:02 +0200 cond_extern_table;
changeset
wenzelm [Mon, 28 Jun 1999 21:41:02 +0200] rev 6846
cond_extern_table;
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
(0) -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle