Hugs libraries

Ross Paterson ross@soi.city.ac.uk
Mon, 9 Dec 2002 13:37:34 +0000


I'd like to propose eliminating the option of using the old library setup,
and then dismantling it.  (The new setup includes compatibility stubs.)