Skip to content

v0.60.0

Choose a tag to compare

@github-actions github-actions released this 07 Oct 14:46
· 313 commits to master since this release

Commits

  • b5c21b8: Add support for syntax highlighting and formatting of mode_non_terminal/2 directives (Paulo Moura)
  • 1662798: Update formatting commands to collapse consecutive empty lines (Paulo Moura)
  • 014a78c: Improve formatting of line comments to only indent if they start at character zero but not followed by indented content (Paulo Moura)
  • 76e04e3: Improve formatting of block comments to indent just the content or the full block comment depending on whether the comment delimiters are on separate lines (Paulo Moura)
  • 5b67036: Fix bug in parsing quoted atoms in entity and predicate names in directives (Paulo Moura)
  • bbdfb2d: Improve insertion of empty lines before different types of terms (Paulo Moura)
  • fe7b524: Ensure that multiple entities in the same file are separated by two or more empty lines (Paulo Moura)
  • 6b7d5c1: Fix bug where multiple empty lines would be added at the end of the file (Paulo Moura)