| Fri, 25 May 2018 21:02:40 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 25 May 2018 21:01:51 +0200 | wenzelm | pretty-print according to defaults of input syntax; | changeset | files |
| Fri, 25 May 2018 21:00:47 +0200 | wenzelm | more accurate diagram; | changeset | files |
| Fri, 25 May 2018 13:47:58 +0200 | wenzelm | proper output; | changeset | files |
| Thu, 24 May 2018 09:26:26 +0000 | haftmann | treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd | changeset | files |
| Thu, 24 May 2018 22:28:26 +0200 | wenzelm | merged | changeset | files |