patch applied (hat): In the user guide, the name Hatobserve becomes hat-observe again.
10 Oct
2006
10 Oct
'06
4:36 p.m.
Thu Aug 23 06:27:37 PDT 2001 malcolm * In the user guide, the name Hatobserve becomes hat-observe again. M ./docs/hatuser.tex -12 +12
7029
Age (days ago)
7029
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace