This repository was archived by the owner on Aug 2, 2024. It is now read-only.

Proof highlighting - #204

Open

sudoPom wants to merge 7 commits into

mainfrom

proof-highlighting

Commits on Apr 9, 2022

Fix: Literal colours changed
sudoPom
committed
53a3936

Commits on Apr 12, 2022

Fix: Moved colour determination into a seperate fn
sudoPom
committed
75bc0d0
Fix: Use ansi term for colouring
sudoPom
committed
5199e3a
Merge branch 'main' into proof-highlighting
sudoPom
authored
24d775b
Fix: Various fixes
sudoPom
committed
8790fb4

Commits on Apr 14, 2022

Fic: Any LS Colour can now be used
sudoPom
committed
52378ec
Fix: Changed name of colour mappings.
sudoPom
committed
c6fd082