| Thu, 08 Sep 2022 16:59:49 +0200 | wenzelm | support regex patterns on messages; | changeset | files |
| Thu, 08 Sep 2022 16:22:44 +0200 | wenzelm | support Pretty.unformatted, similar to ML version; | changeset | files |
| Thu, 08 Sep 2022 13:16:46 +0200 | wenzelm | removed odd TODO item (see 3391a493f39a); | changeset | files |
| Thu, 08 Sep 2022 13:13:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 08 Sep 2022 13:03:10 +0200 | wenzelm | tuned output: more Pretty.item; | changeset | files |
| Thu, 08 Sep 2022 12:52:41 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 08 Sep 2022 12:43:40 +0200 | wenzelm | clarified failure: warning for logical error, exception for program breakdown; | changeset | files |
| Wed, 07 Sep 2022 21:15:45 +0200 | wenzelm | print goal instantiation for global qed (and variations); | changeset | files |