Errors

manifest_matches_dist

Cannot find MANIFEST in dist.

no_unauthorized_packages

• Command
• Errors
• Parser

use_warnings

Codex, Codex::Define, Codex::Deriv, Codex::Expr, Codex::Line, Codex::Operator, Codex::Proof, Codex::Rule, Command, Errors, Parser