Fri, 25 May 2018 22:47:57 +0200 added command 'ML_export';
wenzelm [Fri, 25 May 2018 22:47:57 +0200] rev 68276
added command 'ML_export';
Fri, 25 May 2018 22:47:36 +0200 more examples;
wenzelm [Fri, 25 May 2018 22:47:36 +0200] rev 68275
more examples;
Fri, 25 May 2018 21:02:40 +0200 tuned output;
wenzelm [Fri, 25 May 2018 21:02:40 +0200] rev 68274
tuned output;
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip