Wed, 11 Aug 2010 18:41:06 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Wed, 06 Apr 2005 18:13:30 +0200 |
nipkow |
updated it
|
file |
diff |
annotate
|
Mon, 07 Mar 2005 19:17:07 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
file |
diff |
annotate
|
Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
Sun, 23 Mar 2003 11:57:07 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 12 Mar 1999 22:02:51 +0100 |
wenzelm |
made weblint happy;
|
file |
diff |
annotate
|
Wed, 14 Oct 1998 15:47:22 +0200 |
nipkow |
Description of new version.
|
file |
diff |
annotate
|
Wed, 14 Oct 1998 15:26:31 +0200 |
nipkow |
New many-sorted version.
|
file |
diff |
annotate
|
Thu, 02 May 1996 10:20:15 +0200 |
nipkow |
Added note on types.
|
file |
diff |
annotate
|
Fri, 17 Nov 1995 09:04:10 +0100 |
nipkow |
New directory.
|
file |
diff |
annotate
|