Skip to content

Resolve "Highlighting while displaying lemmas"

Tillmann Dönicke requested to merge 74-highlighting-while-displaying-lemmas into master

Closes #74 (closed)

Merge request reports