K 10
svn:author
V 3
nik
K 8
svn:date
V 27
1999-01-27T00:22:31.000000Z
K 7
svn:log
V 319
Include <!-- $Source$ --> at the top, so that each file will have the
full path to the source .sgml file in the repository included within it.
Not all .html files are generated from .sgml files in the same directory,
this makes finding the source .sgml from the .html file a little easier.

No objections from: Wolfram

END