| Thu, 26 Jun 2014 22:18:09 +0200 | wenzelm | updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release; | changeset | files |
| Thu, 26 Jun 2014 22:01:40 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 26 Jun 2014 21:25:41 +0200 | wenzelm | merged | changeset | files |
| Thu, 26 Jun 2014 19:46:07 +0200 | wenzelm | updated cygwin on server; | changeset | files |
| Thu, 26 Jun 2014 20:49:34 +0200 | blanchet | tuning | changeset | files |
| Thu, 26 Jun 2014 20:32:31 +0200 | blanchet | reintroduced MaSh hints, this time as persistent creatures | changeset | files |
| Thu, 26 Jun 2014 19:40:58 +0200 | blanchet | always expand all paths | changeset | files |
| Thu, 26 Jun 2014 19:10:34 +0200 | blanchet | tuned output | changeset | files |
| Thu, 26 Jun 2014 18:57:20 +0200 | blanchet | tuned output | changeset | files |
| Thu, 26 Jun 2014 16:41:43 +0200 | blanchet | right array indexing | changeset | files |
| Thu, 26 Jun 2014 16:41:30 +0200 | blanchet | incremental learning when learing several facts | changeset | files |
| Thu, 26 Jun 2014 16:41:30 +0200 | blanchet | tuning | changeset | files |
| Thu, 26 Jun 2014 16:41:30 +0200 | blanchet | more incremental learning of single fact | changeset | files |
| Thu, 26 Jun 2014 16:41:30 +0200 | blanchet | avoid needless (trivial) reordering on load | changeset | files |
| Thu, 26 Jun 2014 16:41:30 +0200 | blanchet | recompute learning data at learning time, not query time | changeset | files |