Skip to content

0.2.1 Bugfix release

Compare
Choose a tag to compare
@snomos snomos released this 04 May 15:29
· 18 commits to main since this release

In this release:

  • Bugfix: allow no space between CONTLEX and ; for colouring the lemma
  • Bugfix: stop comment colouring at the end of the line even when ! is the only comment content