Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +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 clearly separated target primitives (target_foo) from self-contained target operations (foo)
changeset
haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60341
clearly separated target primitives (target_foo) from self-contained target operations (foo)
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle