log

age author description
Mon, 20 Apr 2026 23:28:27 +0200 Franz Glasner More arrows
Mon, 20 Apr 2026 17:42:32 +0200 Franz Glasner Use numbers from the Python lexer.
Mon, 20 Apr 2026 15:59:32 +0200 Franz Glasner Arrow "=>" -> "⇒"
Mon, 20 Apr 2026 15:28:19 +0200 Franz Glasner Allow also "!=" as inequality operator (in addition to "<>")