| Tue, 28 Aug 2012 14:37:57 +0200 | wenzelm | more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system; | file | diff | annotate |
| Sun, 15 Aug 2010 17:14:10 +0200 | nipkow | Using type real does not require a separate logic now. | file | diff | annotate |