Skip to content

2.5.1

Latest
Latest
Compare
Choose a tag to compare
@fblanqui fblanqui released this 29 Jul 16:58
· 9 commits to master since this release
2.5.1
230d572
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

CHANGES:

Added

  • Add export format raw_dk.
  • Fix of the color of the text in command line when console.out is used.
  • Use black text instead of red when diplaying query answers.
  • Allow negative numbers in notation priorities.
  • New release 0.2.2 of the VSCode plugin.
Assets 3
Loading