14 Jun
2007
14 Jun
'07
2:46 p.m.
fine tuning for StackSet.hs. andrea Thu Jun 14 08:45:11 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * haddock tuning for StackSet.hs with this patch the documentation of StackSet.hs will have a nice TOC