Skip to content

Version 1.7.2

Latest
Latest
Compare
Choose a tag to compare
@lex-lex lex-lex released this 02 Feb 16:38
v1.7.2
43b9900
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Version 1.7.2 of the scala-tptp-parser library.

Updates:

  • The AST now includes line numbers/offsets where the formula came from (if parsed from a file).

See the README for further information.

Assets 2
Loading