| Thu, 22 May 2014 15:49:36 +0200 | wenzelm | include Nominal2 keywords -- Proof General legacy; | changeset | files |
| Thu, 22 May 2014 15:31:36 +0200 | wenzelm | another attempt to revive isatest -- reverting 801c01004a21; | changeset | files |
| Thu, 22 May 2014 14:27:43 +0200 | blanchet | avoid slow inspection of proof terms now that dependencies are stored in 'state' | changeset | files |
| Thu, 22 May 2014 13:46:49 +0200 | blanchet | properly mark relearns as dirty | changeset | files |
| Thu, 22 May 2014 13:07:53 +0200 | blanchet | disable weights that cause more harm than they help in kNN | changeset | files |
| Thu, 22 May 2014 13:07:52 +0200 | blanchet | add self dependency to naive Bayes | changeset | files |
| Thu, 22 May 2014 13:07:51 +0200 | blanchet | make MaSh Python the default when passing 'fact_filter = mash' without enabling the 'maSh' Isabelle system option | changeset | files |