I “restarted” my work on sos4R, after almost two weeks where other stuff came first, with some often delayed maintenance work such as: writing print and show methods (the latter just pointing to print, I have to admit ­čÖé ), introducing verbose parameters throughout the operations, updating Eclipse (to Helios) and StatET (testing version as described here).

One thing the verbose option: Read the rest of this entry »