Wolfram Schneider 377c8b9338 Add links to about.html, mirror.html, search.html, searchhints.html, ... and license.html.		1997-01-14 15:42:00 +00:00
..
index-site.sgml	Add links to about.html, mirror.html, search.html, searchhints.html,	1997-01-14 15:42:00 +00:00
search.sgml	Sync title with home page	1996-11-15 15:14:28 +00:00
searchhints.sgml	Avoid the use of contractions and fix some grammar problems	1996-12-31 22:31:13 +00:00