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 |