| Thu, 11 Mar 1999 12:34:10 +0100 | wenzelm | include 'README'; | file | diff | annotate |
| Wed, 10 Mar 1999 13:44:55 +0100 | wenzelm | report session path; | file | diff | annotate |
| Wed, 10 Mar 1999 10:53:53 +0100 | wenzelm | maintain current/parent index; | file | diff | annotate |
| Tue, 09 Mar 1999 12:19:25 +0100 | wenzelm | checkpoint -- basic functionality only; | file | diff | annotate |
| Mon, 09 Mar 1998 16:14:32 +0100 | wenzelm | Symbol.is_*; | file | diff | annotate |
| Tue, 13 Jan 1998 18:03:37 +0100 | wenzelm | added base_path; | file | diff | annotate |
| Wed, 12 Nov 1997 16:22:59 +0100 | wenzelm | moved old file stuff from library.ML to Thy/browser_info.ML; | file | diff | annotate |
| Thu, 23 Oct 1997 12:43:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 15 Oct 1997 11:27:55 +0200 | nipkow | Added ack to Mateja Jamnik. | file | diff | annotate |
| Tue, 14 Oct 1997 17:36:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Oct 1997 15:51:38 +0200 | wenzelm | BAD_space_explode; | file | diff | annotate |
| Tue, 30 Sep 1997 12:53:54 +0200 | berghofe | Changed html data directory and names of graph files. | file | diff | annotate |
| Thu, 07 Aug 1997 23:43:30 +0200 | berghofe | Modified graph data directory. | file | diff | annotate |
| Wed, 06 Aug 1997 14:12:29 +0200 | wenzelm | tuned copy_file; | file | diff | annotate |
| Wed, 06 Aug 1997 00:24:49 +0200 | berghofe | This file now contains all functions for generating html | file | diff | annotate |