isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 12 Sep 2013 11:23:49 +0200 removed unused/inlinable theorems

changeset

traytel [Thu, 12 Sep 2013 11:23:49 +0200] rev 53560

removed unused/inlinable theorems

Thu, 12 Sep 2013 11:05:19 +0200 when pouring in extra features into the goal, only consider facts from the current theory -- the bottom 10 facts of the last import might be completely unrelated

changeset

blanchet [Thu, 12 Sep 2013 11:05:19 +0200] rev 53559

when pouring in extra features into the goal, only consider facts from the current theory -- the bottom 10 facts of the last import might be completely unrelated

Thu, 12 Sep 2013 10:40:53 +0200 minor fixes

changeset

blanchet [Thu, 12 Sep 2013 10:40:53 +0200] rev 53558

minor fixes

Thu, 12 Sep 2013 10:35:33 +0200 commented out code parts leading to runtime errors due to missing gensim module

changeset

blanchet [Thu, 12 Sep 2013 10:35:33 +0200] rev 53557

commented out code parts leading to runtime errors due to missing gensim module

Thu, 12 Sep 2013 10:05:10 +0200 invoke Python with "no bytecode" option to avoid litering Isabelle source directory with ".pyc" files (which can be problematic for a number of reasons)

changeset

blanchet [Thu, 12 Sep 2013 10:05:10 +0200] rev 53556

invoke Python with "no bytecode" option to avoid litering Isabelle source directory with ".pyc" files (which can be problematic for a number of reasons)

Thu, 12 Sep 2013 09:59:45 +0200 new version of MaSh

changeset

blanchet [Thu, 12 Sep 2013 09:59:45 +0200] rev 53555

new version of MaSh

Thu, 12 Sep 2013 00:34:48 +0200 more (co)data docs

changeset

blanchet [Thu, 12 Sep 2013 00:34:48 +0200] rev 53554

more (co)data docs

Thu, 12 Sep 2013 00:07:46 +0200 avoid a keyword

changeset

blanchet [Thu, 12 Sep 2013 00:07:46 +0200] rev 53553

avoid a keyword