Mon, 14 Mar 2022 21:56:46 +0100 | wenzelm | clarified directory layout and settings: more robust on all platforms; | changeset | files |
Mon, 14 Mar 2022 16:09:25 +0100 | wenzelm | tuned; | changeset | files |
Mon, 14 Mar 2022 16:03:15 +0100 | wenzelm | support Electron application framework; | changeset | files |
Fri, 11 Mar 2022 11:19:38 +0100 | desharna | generated lemma map_ident_strong for BNFs | changeset | files |