| Fri, 21 May 2004 21:19:04 +0200 | wenzelm | output_tym: removed duplicate clauses; | file | diff | annotate |
| Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | file | diff | annotate |
| Thu, 15 Apr 2004 20:31:30 +0200 | wenzelm | fixed width; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Wed, 14 Apr 2004 09:53:25 +0200 | kleing | prod and sum | file | diff | annotate |
| Tue, 13 Apr 2004 10:45:35 +0200 | kleing | convert symbols to HTML 4.0 character entities, | file | diff | annotate |
| Mon, 12 Apr 2004 23:52:51 +0200 | kleing | use css | file | diff | annotate |
| Fri, 09 Apr 2004 16:31:15 +0200 | kleing | treat sub/super scripts | file | diff | annotate |
| Mon, 30 Jun 2003 12:23:00 +0200 | webertj | Added DOCTYPE and Content-type to HTML documents. | file | diff | annotate |
| Tue, 27 Aug 2002 11:06:45 +0200 | wenzelm | simplified results; | file | diff | annotate |
| 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 |