Skip to content

Releases: OpenLogicProject/fitch

v1.0

17 Dec 18:57
Compare
Choose a tag to compare
  • 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

v1.0-beta2

15 Oct 21:03
Compare
Choose a tag to compare
v1.0-beta2 Pre-release
Pre-release

Full Changelog: v1.0-beta...v1.0-beta2

v1.0-beta

15 Oct 19:22
Compare
Choose a tag to compare
v1.0-beta Pre-release
Pre-release

Full Changelog: v1.0-alpha...v1.0-beta

v1.0-alpha

30 Sep 19:01
Compare
Choose a tag to compare
v1.0-alpha Pre-release
Pre-release

Adds key-value options to package and commands for customizing spacing, rule names, and justification formatting.

v0.6

05 Sep 16:55
Compare
Choose a tag to compare
  • Reformatted documentation
  • Package identifies itself using \ProvidesPackage
  • Undefined references now printed as ?? and warning (only) issued using \PackageWarning
  • Uploaded to CTAN

Full Changelog: v0.5...v0.6

v0.5

04 Sep 21:36
Compare
Choose a tag to compare

Original version of Peter Selinger's fitch.sty, v0.5, from https://www.mathstat.dal.ca/~selinger/fitch/