Release Notes


Language, Proof and Logic Software

Current Release

The current release is Buridan (12.10), consisting of

Buridan differs from the Bolzano release by

in addition to numerous small code changes.

We recommend that all users of earlier releases (11.09, 12.08) upgrade to the Buridan release immediately.

The software can be downloaded after first logging in (using a student id).

Bolzano differs from the Ackermann release by

in addition to numerous small code changes.

There are also small changes to the textbook to resolve issues described in the errata.

Notes:

Past releases

Ackermann (11.09) Release

Ackermann (11.09), consisting of

  • Boole 3.1.1,
  • Fitch 3.1.0,
  • Submit 3.0.1 and
  • Tarski's World 7.0.0

Ackermann differs from the Abelard release by

  • fixing a serious bug in Boole 3.0.0 which resulted in files being saved incorrectly,
  • fixing a bug in Fitch 3.0.0 where Goal Deletion resulted in loss of a text cursor,
  • fixing a bug in Fitch 3.0.0 which caused some lemmas to fail to apply correctly.
  • fixing a bug in Submit 3.0.0 which cause the application to fail to launch on systems localized to languages other than English.

We recommend that all users of the Abelard release (11.05) upgrade to the Ackermann release immediately.

The software can be downloaded after first logging in (using a student id).

Notes:

  • The Windows download is a new intaller. If you have already installed the previous (Abelard) release, you must uninstall that software before running the new installer.
  • For Macintosh we offer the option of a complete installer, and an updater which should be used if you have installer the previous (Abelard) release.

Abelard (11.05) Release

The Abelard (11.05) release consists of

  • Boole 3.0.0,
  • Fitch 3.0.0,
  • Submit 3.0.0 and
  • Tarski's World 7.0.0

Abelard is the beginning of the 3.x series of Boole, Fitch and Submit, and 7.x series of Tarski's World. The applications mark a departure from the previous series of releases, with much of the applications being rewritten. In particular we have:

  • Updated the user interfaces of all four programs,
  • Introduced new inference rules in Fitch for mathematical induction,
  • Introduced the ability to use lemmas in Fitch, and
  • Improved the registration sequence in Submit

Abelard and its successors are designed for use with the second edition of Language, Proof and Logic, published in May 2011.