Skip to content

Releases: edmonl/RuleML2TPTP

Convert comments by default

15 Nov 03:55
Compare
Choose a tag to compare
  • Convert comments by default.
  • Rework some source code.

Minor changes

13 Nov 04:09
Compare
Choose a tag to compare
  • Option -r (use CRLF)
  • Change commenting rules
  • Minor fixes

Fully functioning

11 Nov 04:25
Compare
Choose a tag to compare
  • Translation works.
  • Optional stages of translation.
  • Name conversion.
  • Comments selecting.
  • Use CRLF.