Wed, 21 May 2014 10:13:12 +0200 | Lars Hupel | remove stray println; | changeset | files |
Tue, 20 May 2014 22:48:15 +0200 | blanchet | CONTRIBUTORS | changeset | files |
Tue, 20 May 2014 22:28:44 +0200 | blanchet | added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN) | changeset | files |
Tue, 20 May 2014 22:28:08 +0200 | blanchet | added Isabelle system option 'mash' | changeset | files |
Tue, 20 May 2014 21:13:21 +0200 | wenzelm | updated cygwin; | changeset | files |
Tue, 20 May 2014 20:05:43 +0200 | wenzelm | afford strict check (see also AFP/a8e08d947f0a); | changeset | files |