Wed, 10 May 2023 21:41:58 +0200 | wenzelm | tuned Isabelle/ML; | changeset | files |
Wed, 10 May 2023 21:17:21 +0200 | wenzelm | more informative position information; | changeset | files |
Wed, 10 May 2023 20:38:24 +0200 | wenzelm | tuned; | changeset | files |
Wed, 10 May 2023 20:30:46 +0200 | wenzelm | more informative position information; | changeset | files |
Wed, 10 May 2023 19:30:17 +0200 | wenzelm | clarified context tracing; | changeset | files |
Wed, 10 May 2023 16:05:14 +0200 | wenzelm | more operations; | changeset | files |
Wed, 10 May 2023 15:43:49 +0200 | wenzelm | proper system options to control context tracing/timing; | changeset | files |