| Thu, 12 Sep 2013 11:23:49 +0200 | traytel | removed unused/inlinable theorems | changeset | files |
| Thu, 12 Sep 2013 11:05:19 +0200 | blanchet | 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 | files |
| Thu, 12 Sep 2013 10:40:53 +0200 | blanchet | minor fixes | changeset | files |
| Thu, 12 Sep 2013 10:35:33 +0200 | blanchet | commented out code parts leading to runtime errors due to missing gensim module | changeset | files |
| Thu, 12 Sep 2013 10:05:10 +0200 | blanchet | 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 | files |
| Thu, 12 Sep 2013 09:59:45 +0200 | blanchet | new version of MaSh | changeset | files |
| Thu, 12 Sep 2013 00:34:48 +0200 | blanchet | more (co)data docs | changeset | files |