| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | file | diff | annotate |
| Mon, 30 Jul 2007 19:46:13 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | file | diff | annotate |
| Tue, 08 Oct 2002 14:08:50 +0200 | kleing | defensive machine | file | diff | annotate |