| Sun, 05 Nov 2017 12:13:27 +0100 | wenzelm | testing NewTestRegisterSave; | changeset | files |
| Sat, 04 Nov 2017 21:06:02 +0100 | wenzelm | superseded by plain_identify; | changeset | files |
| Sat, 04 Nov 2017 19:44:28 +0100 | wenzelm | tolerate odd negative times from old log files (before 1698e9ccef2d); | changeset | files |
| Sat, 04 Nov 2017 19:17:19 +0100 | wenzelm | prefer main entry points of HOL; | changeset | files |
| Sat, 04 Nov 2017 18:57:49 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 04 Nov 2017 17:11:21 +0100 | wenzelm | clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps; | changeset | files |
| Sat, 04 Nov 2017 15:24:40 +0100 | wenzelm | more robust sorted_entries; | changeset | files |