Version 1.3:

-added support for The Logic Book PD+ rule system
-added support for Accessible Introduction ND+ rule system
-added ability to export a deduction to a Text file
-added ability to export a deduction to a LaTeX snippet

This version sees the addition of 45 new rules and aliases, to bring the total number of rules supported to 85 (!), with each rule being able to be turned on and off individually. Also, we have expanded the number of textbooks supported "out of the box" to ten.

• Five new natural deduction rules have been added: disjunctive syllogism (DS), modus tollens (MT), hypothetical syllogism (HS), biconditional composition (BC), biconditoinal decomposition (BD).
• Support for rule renaming ("aliases") has been added. There are 16 aliases available, so you can use, for example, "Conj" for conjunction introduction, or EI for existential instantiation.
• The program may now be used "out-of-the-box" with several logic textbooks:
• The Logic Book by Merrie Bergmann, James Moor and Jack Nelson (McGraw-Hill, 2008)
• A Modern Formal Logic Primer by Paul Teller (Prentice Hall, 1989)
• Modern Logic by Graeme Forbes (Oxford, 1994) (iv) A Serious Introduction to Mathematical Logic by Tony Roy (Self-published, 2009)

• added an option in the Editing tab of Preferences to toggle the deduction identifier in printouts and PDF export
• changed the input handler so that justifications accept either an en-dash or a hyphen
• extended deduction table to the edges of the main window
• main window hides vertical scrollbar if the scrollbar is not necessary

• fixed typo in help files where the schema for conditional elimination was labelled as conjunction elimination
• fixed problem whereby using the bent dash symbol would call up the wrong make assumption window