| Mon, 22 Aug 2022 21:25:12 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 22 Aug 2022 15:00:46 +0200 | wenzelm | support for pretty-printing of JSON trees; | changeset | files |
| Mon, 22 Aug 2022 14:48:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 22 Aug 2022 13:29:06 +0200 | wenzelm | tuned: slightly more generic operations; | changeset | files |
| Mon, 22 Aug 2022 06:27:28 +0200 | Mathias Fleury | remove duplicate parsing for alethe; fix skolemization; | changeset | files |
| Sun, 21 Aug 2022 14:01:59 +0000 | haftmann | Gauss numbers | changeset | files |
| Sun, 21 Aug 2022 23:01:08 +0200 | wenzelm | disable laramac01 for now: system update pending; | changeset | files |