Open GoogleCodeExporter opened 9 years ago
This is an enhancement, not a defect
Original comment by josemigu...@gmail.com
on 17 May 2013 at 3:05
Hello,
I have added a new option to configure the print-out (a.k.a. OwlPrettyPrinter).
There is now a CommandRunner option to set the format for the printer. By
default the current format is used. To set a different format, i.e.
manchester-like syntax use:
--pretty-printer-settings -m
You can also add '--hide-ids' to hide the double identifiers.
Please set this before the call of the methods, such as --list-class-axioms
Original comment by HDie...@lbl.gov
on 17 May 2013 at 11:35
Original issue reported on code.google.com by
josemigu...@gmail.com
on 17 May 2013 at 3:04