New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Miscellaneous edits #20

Merged

najuzilu merged 1 commit into master from misc-edits

Sep 1, 2020

Member

najuzilu commented Sep 1, 2020 •

edited

Loading

This PR does the following:

remove variables which have not been used
fix bare 'except' in domain.py
define all directives in PROOF_TYPES dict
apply black
rm sphinxcontrib-prettyproof from requirements.txt


          misc edits

4919a4f

najuzilu merged commit f5c056e into master

najuzilu deleted the misc-edits branch

September 1, 2020 13:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet