Need help?  •  Forgot your password?
This web site will be decommissioned in June 2019. Visit our new site here.

Feedback

Report a Bug


Bug Report Form

Please report bugs in our software by filling out this form. Please be as specific as you can, since the more information that we have, the more likely it is that we will be able to find and fix the problem.

Before reporting a bug, please:


  1. Make sure that you are using the latest version of the software.

    The current release for all supported operating systems is Frege (17.12, December 2017) which consists of: Boole 4.2.0, Fitch 3.7.0, Submit 3.1.0, and Tarski's World 7.2.4 and the second edition of the textbook and manual.

    Supported Operating Systems: Mac OS X, 10.7 and above; Windows 7, Windows 8 and Windows 10; and 64 bit versions of the most recent long term support releases of Fedora and Ubuntu Linuxes.

    The software can be downloaded by logging in using your registration id.
  2. Make sure that your operating system is up to date, and all appropriate updates and service packs are installed.
  3. Check the Known issues page to be sure that the solution to your problem is not discussed there.
  4. Read the FAQ to be sure that the solution to your problem is not discussed there.