Skip to content

Releases: edmonl/RuleML2TPTP

Release list

Convert comments by default

Convert comments by default Latest
Latest

Choose a tag to compare

View all tags
@edmonl edmonl released this 15 Nov 03:55
v1.02
9cf3f64
  • Convert comments by default.
  • Rework some source code.
Assets 4
Loading

Minor changes

Minor changes

Choose a tag to compare

View all tags
@edmonl edmonl released this 13 Nov 04:09
v1.01
a206fec
  • Option -r (use CRLF)
  • Change commenting rules
  • Minor fixes
Loading

Fully functioning

Fully functioning

Choose a tag to compare

View all tags
@edmonl edmonl released this 11 Nov 04:25
v1.0
03ba259
  • Translation works.
  • Optional stages of translation.
  • Name conversion.
  • Comments selecting.
  • Use CRLF.
Loading