| Sat, 18 Aug 2007 19:25:28 +0200 | webertj | fixed a bug in demult: -a in (-a * b) is no longer treated as atomic | file | diff | annotate |
| Tue, 31 Jul 2007 19:40:24 +0200 | wenzelm | tuned LinArith setup; | file | diff | annotate |
| Tue, 31 Jul 2007 00:56:26 +0200 | wenzelm | arith method setup: proper context; | file | diff | annotate |
| Sun, 03 Jun 2007 23:16:46 +0200 | wenzelm | use antiquotations instead of raw TeX code; | file | diff | annotate |
| Sun, 03 Jun 2007 15:44:35 +0200 | nipkow | fixed tex error | file | diff | annotate |
| Sat, 02 Jun 2007 20:14:38 +0200 | webertj | extended | file | diff | annotate |
| Sat, 02 Jun 2007 03:17:44 +0200 | webertj | extended | file | diff | annotate |
| Sat, 02 Jun 2007 00:09:02 +0200 | webertj | tracing disabled | file | diff | annotate |
| Fri, 01 Jun 2007 23:21:40 +0200 | webertj | some tests for arith added | file | diff | annotate |