
10 Oct
2006
10 Oct
'06
7:18 a.m.
Tue Jun 4 07:04:10 PDT 2002 malcolm * hat-trans should recognise a literate file by its extension (.lhs) and automatically apply the -unlit flag. M ./script/hat-trans.inst -3 +12