| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Mon, 31 Dec 2007 19:36:29 +0100 | wenzelm | removed obsolete banner; | file | diff | annotate |
| Sat, 03 Sep 2005 17:54:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Fri, 08 May 1998 13:54:45 +0200 | wenzelm | proper thy files; | file | diff | annotate |
| Tue, 28 Oct 1997 17:41:15 +0100 | wenzelm | do not change global_names flag; | file | diff | annotate |