diff --git a/README.md b/README.md index 6c54e19..d41d11c 100644 --- a/README.md +++ b/README.md @@ -70,14 +70,17 @@ FLAGS: -v, --verify Checks proof validity -m, --verify-markup Checks comment markup --verify-parse-stmt Checks that printing parsed statements gives back the original formulas + -u, --verify-usage Checks axiom usage OPTIONS: - --text Provides raw database content on the command line - --biblio ... Supplies a bibliography file for verify-markup - Can be used one or two times; the second is for exthtml processing - -D, --discouraged Regenerates `discouraged` file - -e, --export