[cvs-nhc98] cvs commit: nhc98/docs/bugs nhc13test30.hs nhc13test31.hs nhc13test32.hs Nhc13Test1.hs Nhc13Test10.hs Nhc13Test13.hs

malcolm 2005/05/18 05:32:53 PDT Added files: docs/bugs nhc13test30.hs nhc13test31.hs nhc13test32.hs Removed files: docs/bugs Nhc13Test1.hs Nhc13Test10.hs Nhc13Test13.hs Log: Rename testcases to avoid name clashes on case-insensitive filesystems.