Closed tancnle closed 1 year ago
The Isabelle lexer commit was missed in the generated changelog for v3.30.0.
v3.30.0
The Isabelle lexer commit was missed in the generated changelog for
v3.30.0
.