History log of /hets/CspCASL/test/tcs1.het.cspcasl
Revision Date Author Comments Expand
adce8375991a372444ab995895442dca6faf9677 05-Mar-2008 Andy Gimblett <a.m.gimblett@swansea.ac.uk>

CspCASL - bugfix in static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9689 cec4b9c1-7d33-0410-9eda-942365e851bb
197888c54795ec1e79e77289b7e20436a6db74c0 02-Jan-2008 Andy Gimblett <a.m.gimblett@swansea.ac.uk>

CspCASL - more pretty print tweaking, and added another example git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9405 cec4b9c1-7d33-0410-9eda-942365e851bb