7 Apr
2001
7 Apr
'01
2:39 p.m.
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