| Thu, 21 Aug 2014 13:46:29 +0200 | wenzelm | discontinued odd "temporary" workaround from 2006 (6ac7a4fc32a0), which has no measurable relevance; | changeset | files |
| Thu, 21 Aug 2014 13:31:31 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 Aug 2014 10:07:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 Aug 2014 09:48:59 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 22 Aug 2014 08:43:14 +0200 | haftmann | generic euclidean algorithm (due to Manuel Eberl) | changeset | files |
| Thu, 21 Aug 2014 14:41:08 +0200 | haftmann | integrated appendix theory into main theory; | changeset | files |
| Thu, 21 Aug 2014 14:41:05 +0200 | haftmann | dropped dead file | changeset | files |