25 Feb
2003
25 Feb
'03
6:50 p.m.
Its author prefers not to give up the sources to it, so
a rewrite would be the proper thing to do. It's been
a ToDo item for quite a while.. So, if anyone's got the
enthusiasm, docs/ is the subdirectory to commit stuff
into :-)
--sigbjorn
----- Original Message -----
From: "Ross Paterson"
What is the status of the Hugs 98 User Manual? Can it be updated? _______________________________________________