- 3.0 (7/6/2025) SLAPP 3.0 includes the first installment of the checking and feedback that SLAPP is meant to include.
- There is derivation checking for all the derivations in chapters 3 and 6 of Symbolic Logic. The check feature itself provides significant help with respect to rules. In addition, the basic I- and E-rule systems of chapter 6, NDs and ND, include a “contextual help” feature. Contextual help implements the “strategies” of Symbolic Logic chapter 6, providing suggestions for how to reach current goal expressions.
- There are numerous additional smaller changes and bug fixes. One of the most significant is that there is now an “instructor login” for which an instructor will need to make a password request. Instructor login has different effects: Exercise and assignment “create” and “revise” features are enabled only for instructors. Instructors have exercise check and help ‘try’ limits disabled. And instructors may edit an optional “points earned” field.
- Derivation and instructor functions are detailed in revised SLAPP help videos.
- Exercises from previous versions (either downloaded or created by you), will continue to open. However older derivation exercises will have have check and help functions uniformly off. Further there have been revisions to exercises both for SLAPP and in the text. In order to access derivation check and help features, and to keep textbook and SLAPP exercises in sync, you should download exercises again.
- ————————————–start version 3—————————————————
- 2.1 (12/28/24) Minor revisions. First “release” version.
- As a housekeeping matter, if you installed the evaluation version 1.x on PC, all your updates go into the initial directory, C:\Program Files\SLAPP1.00a. Now might be a good time to uninstall and then install again from scratch — then the new install and any updates will go to a generic Symbolic Logic APPlication directory — without the misleading version number in the folder name. This issue has no functional significance, and does not arise on Mac — which already uses the generic folder name in the Applications folder.
- 2.0 (12/23/24) Possible “release” version. Miscellaneous bug fixes: PC printer problem resolved. Vertical tree size-down repair.
- ————————————–start version 2—————————————————
- 1.5 (12/18/24) In addition to miscellaneous bug fixes, vertical tree work area sizes set automatically; “fleeting popup” color changed to distinguish warning from success messages.
- 1.4 (12/13/34) File associations work on Mac. Repairs to horizontal tree layout. Also repairs an embarrassing problem with the updater where I switched pointers between x64 and ARM64 binaries. If you have v1.3, update by downloading again from the webpage.
- 1.3 (12/8/24). Many bug fixes. Check for updates — automatically on weekly interval, and from help menu. File associations — SLAPP icons, clicking an icon opens program (if not already open), and opens the file in SLAPP (but there is a Mac bug so that files won’t automatically open). Size counters improved — esp. in “free form” exercise where counters did not work at all.
- ————————- start simplified version numbering above ———————————-
- 1.02α build 1 (11/21/24). Annotation fields for vertical and horizontal trees are updated to have the same edit functionality as formula fields. If you are using downloaded exercises and/or assignments, for this (and a few bugs) YOU MUST DOWNLOAD EXERCISES AND ASSIGNMENTS AGAIN. Exercises with annotation fields that were worked in v1.01 will fail to open correctly in v1.02.
- 1.01α build 3 (11/15/24). Repairs to previous “fixes” for horizontal tree width, and for editing derivation justifications.
- 1.01α build 2 (11/14/24). (i) Bug fixes for editing derivation justifications; this required rearranging top edit controls. (ii) Alternate path to keyboard diagram and keyboard shortcuts through help menu.
- 1.01α build 1 (11/9/24). This is the initial evaluation version.
Home » SLAPP Change Log