Skip to content

2.5.1

Latest
Compare
Choose a tag to compare
@fblanqui fblanqui released this 29 Jul 16:58
· 13 commits to master since this release
230d572

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.