| Sun, 03 Oct 1999 15:54:04 +0200 | wenzelm | improved theory_source presentation; | file | diff | annotate |
| Wed, 29 Sep 1999 13:49:49 +0200 | wenzelm | more sections; | file | diff | annotate |
| Wed, 22 Sep 1999 20:57:51 +0200 | wenzelm | present results; | file | diff | annotate |
| Wed, 01 Sep 1999 21:06:57 +0200 | wenzelm | added theorems; | file | diff | annotate |
| Tue, 17 Aug 1999 19:24:00 +0200 | berghofe | Better handling of path for remote theory browsing information. | file | diff | annotate |
| Mon, 17 May 1999 21:35:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 17 May 1999 16:55:27 +0200 | berghofe | Reimplemented graph generator. | file | diff | annotate |
| Wed, 17 Mar 1999 15:43:04 +0100 | wenzelm | tuned msg; | file | diff | annotate |
| Wed, 17 Mar 1999 13:40:21 +0100 | wenzelm | cleaned comments; | file | diff | annotate |
| Fri, 12 Mar 1999 18:48:11 +0100 | wenzelm | theory: include parent links; | file | diff | annotate |
| Thu, 11 Mar 1999 21:52:32 +0100 | wenzelm | comment; | file | diff | annotate |
| 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 |