Many of these notes are only of interest to ISI people. I am including them in this publicly readable area so that others might benefit as well. They may contain references to the way things are done at ISI. --Steve Augart
If you modify any of them, they should be converted into PostScript files (whose names end in .PS) in that directory. To do this, follow these instructions
latex filename.tex # Run LaTeX a second time in order to get the cross-references and # table numbers right. latex filename.tex # Now generate the PostScript file dvips -o filename.PS filename.dvi
latex2html filename.texThis will create an HTML directory named filename in the directory you worked in. This needs to be put into the public HTTP area at ISI. It also needs to become a committed part of the Prospero distribution.
As of this writing, we are not yet satisfied with the output, but it is certainly better than nothing.