06d2fb58d16cd67fae8c7fe40818ae7f93449929 |
|
01-Sep-2013 |
Daniel Calegari <dcalegar@fing.edu.uy> |
changes in print function, better pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18153 cec4b9c1-7d33-0410-9eda-942365e851bb |