Tool for the documentation generation of Taclet (sorts, function, proof rules in KeY)
Author: Alexander Weigl under GPLv2+
- pretty printing not working quite right
- replacewith could be more formatted
<sort>::<id>-- id is not printed
- documentation formatting, especially trim the indentation