| Wed, 03 Oct 2018 09:46:42 +0200 | nipkow | shuffle -> shuffles | changeset | files |
| Tue, 02 Oct 2018 21:37:26 +0200 | wenzelm | updated windows_app to launch4j 3.12: "fully supports Java 9 and newer"; | changeset | files |
| Tue, 02 Oct 2018 19:20:00 +0200 | wenzelm | explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc; | changeset | files |
| Tue, 02 Oct 2018 19:10:04 +0200 | wenzelm | reduce tracing messages to make it work in PIDE session; | changeset | files |
| Tue, 02 Oct 2018 19:02:47 +0200 | wenzelm | unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers; | changeset | files |
| Mon, 01 Oct 2018 19:30:36 +0200 | wenzelm | tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps; | changeset | files |
| Mon, 01 Oct 2018 16:41:36 +0200 | wenzelm | more direct implementation of distinct_subgoals_tac -- potentially more efficient; | changeset | files |