reid 2001/04/07 11:39:26 PDT
Modified files:
. Readme
Log:
Corrected a small typo: s/distriution/distribution/
(btw, There used to be a file which documented the forall/exists
extensions to Hugs. Seems to me that that file should be in
hugs98/docs - but maybe that information migrated into the
LaTeX documentation?)
Revision Changes Path
1.12 +1 -1 hugs98/Readme