Fri, 25 May 2018 21:01:51 +0200 pretty-print according to defaults of input syntax;
wenzelm [Fri, 25 May 2018 21:01:51 +0200] rev 68273
pretty-print according to defaults of input syntax;
Fri, 25 May 2018 21:00:47 +0200 more accurate diagram;
wenzelm [Fri, 25 May 2018 21:00:47 +0200] rev 68272
more accurate diagram;
Fri, 25 May 2018 13:47:58 +0200 proper output;
wenzelm [Fri, 25 May 2018 13:47:58 +0200] rev 68271
proper output;
Thu, 24 May 2018 09:26:26 +0000 treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
haftmann [Thu, 24 May 2018 09:26:26 +0000] rev 68270
treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
Thu, 24 May 2018 22:28:26 +0200 merged
wenzelm [Thu, 24 May 2018 22:28:26 +0200] rev 68269
merged
Thu, 24 May 2018 22:17:23 +0200 setup server directory for Cygwin quasi-mirror;
wenzelm [Thu, 24 May 2018 22:17:23 +0200] rev 68268
setup server directory for Cygwin quasi-mirror;
Thu, 24 May 2018 21:36:39 +0200 more scalable JVM memory management;
wenzelm [Thu, 24 May 2018 21:36:39 +0200] rev 68267
more scalable JVM memory management;
Thu, 24 May 2018 21:21:26 +0200 tuned output;
wenzelm [Thu, 24 May 2018 21:21:26 +0200] rev 68266
tuned output;
Thu, 24 May 2018 21:13:09 +0200 more general cache, also for term substructures;
wenzelm [Thu, 24 May 2018 21:13:09 +0200] rev 68265
more general cache, also for term substructures;
Thu, 24 May 2018 16:56:14 +0200 more exports;
wenzelm [Thu, 24 May 2018 16:56:14 +0200] rev 68264
more exports; read_session: proper signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip