The current release consists of: Boole 2.7, Fitch 2.7, Submit 2.7, and Tarski's World 6.7
Download Software Updates (Log in Required)
Submit 2.0-2.4.4 on Mac OS X 10.4 with Java 2 Standard Edition (J2SE) 5.0 as the preferred version of Java would quit right before sending a submission to be graded. This is fixed in Submit 2.5. [J2SE 5.0 Release 4, a Software Update released April 2006, made J2SE 5.0 the preferred Java version.]
Tarski's World 6.3 introduced a bug that prevented it from opening sentences files containing empty lines. This was fixed in 6.4.
Tarski's World 6.2 is the first version to run on Macs using an Intel processor.
For users running Submit 2.3 and receiving the Grade Grinder message Empty file in submission, try quitting then relaunching Submit once. If the problem persists, upgrade Submit:
Boole 2.0-2.3 for Mac OS X had a Tiger-only (10.4.x) problem where the application appears not to accept any input. This was fixed in 2.4.
Software Help
View documentation for our applications:
- For Macintosh: Boole, Fitch, Tarski's World, Submit
- For Windows: Boole, Fitch, Tarski's World, Submit
File a Bug Report
We appreciate hearing about bugs in our software, and address
all reports as quickly as possible.
