ross 2003/04/09 01:31:38 PDT Added files: libraries/Hugs Observe.hs Removed files: libraries/Hugs Observe.lhs Log: remove \begin{code} and \end{code}