| Thu, 06 Dec 2001 17:16:46 +0100 | wenzelm | tuned line breaks in HTML source; | file | diff | annotate |
| Sun, 11 Nov 2001 21:38:54 +0100 | wenzelm | present multi_result; | file | diff | annotate |
| Sun, 21 Jan 2001 19:54:52 +0100 | wenzelm | setup indent; | file | diff | annotate |
| Thu, 11 Jan 2001 21:51:14 +0100 | wenzelm | do not hilite "xnum"; | file | diff | annotate |
| Wed, 10 Jan 2001 00:14:52 +0100 | wenzelm | added \<dieresis>, \<acute>, \<cedilla>, \<emptyset>; | file | diff | annotate |
| Tue, 09 Jan 2001 15:18:07 +0100 | wenzelm | replaced \<macron> by \<inverse>; | file | diff | annotate |
| Fri, 01 Dec 2000 19:44:48 +0100 | wenzelm | append print modes; | file | diff | annotate |
| Fri, 15 Sep 2000 00:17:51 +0200 | wenzelm | handle more symbols; | file | diff | annotate |
| Sun, 23 Jul 2000 12:08:54 +0200 | wenzelm | removed all_sessions; | file | diff | annotate |
| Wed, 07 Jun 2000 12:14:57 +0200 | berghofe | Removed codebase attribute from applet_pages. | file | diff | annotate |
| Fri, 05 May 2000 22:18:40 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 04 Feb 2000 21:43:30 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 05 Jan 2000 11:38:48 +0100 | wenzelm | chapter; | file | diff | annotate |
| Mon, 11 Oct 1999 20:42:06 +0200 | wenzelm | files: separate by " "; | file | diff | annotate |
| Tue, 05 Oct 1999 15:33:22 +0200 | wenzelm | begin_index: document; | 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:27 +0200 | wenzelm | added theorems; | file | diff | annotate |
| Tue, 01 Jun 1999 18:01:01 +0200 | wenzelm | tuned markup; | file | diff | annotate |
| Mon, 17 May 1999 16:55:27 +0200 | berghofe | Reimplemented graph generator. | file | diff | annotate |
| Fri, 19 Mar 1999 11:26:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Mar 1999 13:41:14 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Mar 1999 18:48:11 +0100 | wenzelm | theory: include parent links; | file | diff | annotate |
| Thu, 11 Mar 1999 12:33:34 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 10 Mar 1999 10:53:02 +0100 | wenzelm | output: some symbol translations; | file | diff | annotate |
| Tue, 09 Mar 1999 12:12:45 +0100 | wenzelm | HTML markup elements. | file | diff | annotate |