| 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 |
| Mon, 20 Oct 1997 11:01:07 +0200 | wenzelm | qualified names; | file | diff | annotate |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 21 Nov 1995 15:10:12 +0100 | clasohm | main directory is now read by exit_use_dir, too; | file | diff | annotate |
| Tue, 24 Oct 1995 14:50:24 +0100 | clasohm | added calls of init_html and make_chart | file | diff | annotate |
| Tue, 16 Nov 1993 14:10:19 +0100 | clasohm | changed use_thy's parameter to exact theory name | file | diff | annotate |
| Fri, 22 Oct 1993 13:35:15 +0100 | clasohm | changes for new Readthy | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |