Increase severity of uses 'sorry'. Fixes #276#305
Open
tautastic wants to merge 2 commits intoleanprover-community:mainfrom
Open
Increase severity of uses 'sorry'. Fixes #276#305tautastic wants to merge 2 commits intoleanprover-community:mainfrom
uses 'sorry'. Fixes #276#305tautastic wants to merge 2 commits intoleanprover-community:mainfrom
