| Sat, 28 Jul 2018 21:21:26 +0200 | wenzelm | proper return code (true) if file is absent; | changeset | files |
| Sat, 28 Jul 2018 19:55:14 +0200 | wenzelm | clarified word syntax for the sake of control symbols, e.g. \<^term>; | changeset | files |
| Sat, 28 Jul 2018 17:25:40 +0200 | wenzelm | updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4; | changeset | files |
| Sat, 28 Jul 2018 16:50:55 +0200 | wenzelm | more robust: do not defer potentially slow/big lazy facts to the very end; | changeset | files |
| Sat, 28 Jul 2018 16:49:53 +0200 | wenzelm | more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson; | changeset | files |
| Sat, 28 Jul 2018 16:30:58 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jul 2018 16:08:04 +0200 | wenzelm | eliminated non-monotomnic Lazy.is_pending: Result may return to Expr due to Interrupt; | changeset | files |