Skip to content

Commit 2661038

Browse files
hendriktewshendriktews
committed
CI: new tests for changing and undoing processed comments
These test are inspired by ProofGeneral#800 and ProofGeneral#803. Unfortunately 7 out of 8 are currently failing.
1 parent 3c3a21e commit 2661038

File tree

2 files changed

+507
-1
lines changed

2 files changed

+507
-1
lines changed

0 commit comments

Comments
 (0)