SLAPP 3.1 is now available!

SLAPP 3.1 adds to version 3.0 checking for map and tree diagrams of Symbolic Logic chapter 2. So in addition to edit capability for exercises in chapters 1-6, there is now checking for derivations in chapters 3 and 6, and checking for map and tree diagrams in chapter 2 (along with contextual help for derivations in the basic I- and E-rule systems of chapter 6). Edit and check functions are described in the relevant SLAPP help videos and contextual help popups.

There are numerous additional smaller changes and bug fixes. In addition to instructor functions from before, instructor login now enables automatic “choice checking” for chapter 2 exercises that use diagrams to justify a choice of some sort — where this check would usually be off for a student.

*Exercises from previous versions (either downloaded or created by you) will continue to open. However, as happened with derivation check, older vertical tree exercises will have check functions uniformly off. In order to access check features, you should download (chapter 2) exercises again.