| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Wed, 13 Dec 2006 15:45:31 +0100 | haftmann | introduced mk/dest_numeral/number for mk/dest_binum etc. | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:32 +0200 | wenzelm | removed obsolete Real/document/root.tex; | file | diff | annotate |