wenzelm [Sun, 03 Dec 2017 19:09:42 +0100] rev 67122
simplified session (again, see 39e29972cb96): WordExamples requires < 1s;
wenzelm [Sun, 03 Dec 2017 19:00:55 +0100] rev 67121
tuned;
wenzelm [Sun, 03 Dec 2017 18:53:49 +0100] rev 67120
misc tuning and modernization;
wenzelm [Sun, 03 Dec 2017 13:22:09 +0100] rev 67119
discontinued old 'def' command;
haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67118
more simplification rules
haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67117
overhauling of primes
haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67116
cleaned up and tuned
haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67115
generalized more lemmas
wenzelm [Fri, 01 Dec 2017 20:49:42 +0100] rev 67114
tuned output;
wenzelm [Fri, 01 Dec 2017 20:41:59 +0100] rev 67113
more operations;
wenzelm [Fri, 01 Dec 2017 20:29:58 +0100] rev 67112
removed inaccessible blobs from Document.Nodes;
wenzelm [Fri, 01 Dec 2017 18:20:15 +0100] rev 67111
more accurate JSON parsing according to http://seriot.ch/parsing_json.php
wenzelm [Fri, 01 Dec 2017 16:58:26 +0100] rev 67110
purge hidden nodes more thoroughly: is_hidden may become true only later;
wenzelm [Fri, 01 Dec 2017 15:49:01 +0100] rev 67109
proper synchronized Map: this may be used on multiple threads;
eberlm <eberlm@in.tum.de> [Thu, 30 Nov 2017 17:00:19 +0100] rev 67108
bij_betw lemma for prime powers