v1.0

• Internal command names changed from nonstandard nd* to nd@
• Add key-value options to package and environments to configure dimensions and enable use of environments other than array to generate proof table (e.g., tabular, longtable)
• Add fitchproof environment
• Add commands to make printing of rule names, justifications, and line references configurable
• Add option to suppress printing of outermost scope line

Full Changelog: v0.6...v1.0