log revision 4d7d53fec6b551333c79da6ae3b8ca2af0a741ab
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian MaederReading file /export/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParameterSpecTest.het
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian MaederAnalyzing library ParameterSpecTest
8ce7b6b96b208cc772742a84faa31ce4bd746066Christian MaederAnalyzing spec X
8ce7b6b96b208cc772742a84faa31ce4bd746066Christian MaederAnalyzing spec Sym
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian MaederAnalyzing spec X_inv