| Sun, 05 Nov 2017 16:57:03 +0100 | wenzelm | uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main"); | changeset | files |
| Sun, 05 Nov 2017 15:50:26 +0100 | wenzelm | updated comments; | changeset | files |
| Sun, 05 Nov 2017 14:35:43 +0100 | wenzelm | updated to scala-2.12.4; | changeset | files |
| 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 |