Index: TECH/ClassInfo/FormalSpecParser.cls.xml =================================================================== diff -u -r946 -r1074 --- TECH/ClassInfo/FormalSpecParser.cls.xml (.../FormalSpecParser.cls.xml) (revision 946) +++ TECH/ClassInfo/FormalSpecParser.cls.xml (.../FormalSpecParser.cls.xml) (revision 1074) @@ -1,9 +1,8 @@ - + 1 %RegisteredObject -62164,32435.997622 0 @@ -81,5 +80,4 @@ ]]> -