Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 01 Jun 2015 18:59:20 +0200 tuned order
changeset
haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60340
tuned order
Mon, 01 Jun 2015 18:59:20 +0200 dedicated config options to deactivate uncheck phase for improvable syntax
changeset
haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60339
dedicated config options to deactivate uncheck phase for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 clarified interfaces for improvable syntax
changeset
haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60338
clarified interfaces for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 tuned
changeset
haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60337
tuned
Mon, 01 Jun 2015 18:07:36 +0200 clarified context;
changeset
wenzelm [Mon, 01 Jun 2015 18:07:36 +0200] rev 60336
clarified context;
Mon, 01 Jun 2015 17:44:45 +0200 clarified context;
changeset
wenzelm [Mon, 01 Jun 2015 17:44:45 +0200] rev 60335
clarified context;
Mon, 01 Jun 2015 17:08:47 +0200 clarified context;
changeset
wenzelm [Mon, 01 Jun 2015 17:08:47 +0200] rev 60334
clarified context;
Mon, 01 Jun 2015 16:07:38 +0200 tuned;
changeset
wenzelm [Mon, 01 Jun 2015 16:07:38 +0200] rev 60333
tuned;
Mon, 01 Jun 2015 15:39:53 +0200 discontinued unused / unmaintained SVC oracle -- current Isabelle tools (e.g. arith, smt) can easily solve the given examples with full proof reconstruction;
changeset
wenzelm [Mon, 01 Jun 2015 15:39:53 +0200] rev 60332
discontinued unused / unmaintained SVC oracle -- current Isabelle tools (e.g. arith, smt) can easily solve the given examples with full proof reconstruction;
Mon, 01 Jun 2015 15:06:09 +0200 discontinued legacy;
changeset
wenzelm [Mon, 01 Jun 2015 15:06:09 +0200] rev 60331
discontinued legacy;
Mon, 01 Jun 2015 13:52:35 +0200 obsolete (see 189c81779a68);
changeset
wenzelm [Mon, 01 Jun 2015 13:52:35 +0200] rev 60330
obsolete (see 189c81779a68);
Mon, 01 Jun 2015 13:46:23 +0200 eliminated odd C combinator -- Isabelle/ML usually has canonical argument order;
changeset
wenzelm [Mon, 01 Jun 2015 13:46:23 +0200] rev 60329
eliminated odd C combinator -- Isabelle/ML usually has canonical argument order;
Mon, 01 Jun 2015 13:35:16 +0200 clarified context;
changeset
wenzelm [Mon, 01 Jun 2015 13:35:16 +0200] rev 60328
clarified context;
Mon, 01 Jun 2015 13:32:36 +0200 clarified context;
changeset
wenzelm [Mon, 01 Jun 2015 13:32:36 +0200] rev 60327
clarified context;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip
isabelle