Skip to content

Releases: edmonl/RuleML2TPTP

Convert comments by default

15 Nov 03:55

Choose a tag to compare

  • Convert comments by default.
  • Rework some source code.

Minor changes

13 Nov 04:09

Choose a tag to compare

  • Option -r (use CRLF)
  • Change commenting rules
  • Minor fixes

Fully functioning

11 Nov 04:25

Choose a tag to compare

  • Translation works.
  • Optional stages of translation.
  • Name conversion.
  • Comments selecting.
  • Use CRLF.