haftmann [Wed, 24 Aug 2022 08:22:13 +0000] rev 75963
avoid duplicate fact error on global_interpretation of residues
haftmann [Wed, 24 Aug 2022 06:21:06 +0000] rev 75962
avoid looping simplification for z2
wenzelm [Mon, 22 Aug 2022 21:37:06 +0200] rev 75961
more formal meta data, within ".browser_info";
update_chapter for each session when it is finished;
wenzelm [Mon, 22 Aug 2022 21:25:12 +0200] rev 75960
tuned signature;
wenzelm [Mon, 22 Aug 2022 15:00:46 +0200] rev 75959
support for pretty-printing of JSON trees;
wenzelm [Mon, 22 Aug 2022 14:48:14 +0200] rev 75958
tuned signature;
more operations;
wenzelm [Mon, 22 Aug 2022 13:29:06 +0200] rev 75957
tuned: slightly more generic operations;
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 22 Aug 2022 06:27:28 +0200] rev 75956
remove duplicate parsing for alethe; fix skolemization;
haftmann [Sun, 21 Aug 2022 14:01:59 +0000] rev 75955
Gauss numbers
wenzelm [Sun, 21 Aug 2022 23:01:08 +0200] rev 75954
disable laramac01 for now: system update pending;