the Natural Deduction LaTeX Package

lp:naturaldeduction

Created by Dan Watkins on 2007-11-01 and last modified on 2007-11-01

Only Dan Watkins can upload to this branch. If you are Dan Watkins please log in for upload directions.

8. By Dan Watkins on 2007-11-02: Added .ins file.
7. By Dan Watkins on 2007-11-01: Removed extra space, fixing LP bug #159392.
6. By Dan Watkins on 2007-11-01: The width of columns must now be specified. test.tex has been modified to reflect that this is the case.
5. By Dan Watkins on 2007-11-01: Added general test-case for adjacent nested assumptions.
4. By Dan Watkins on 2007-11-01: Added some more structure to test.tex.
3. By Dan Watkins on 2007-11-01: Fixed LP bug #156940.
2. By Dan Watkins on 2007-11-01: Added test case for Launchpad bug #156940.
1. By Dan Watkins on 2007-10-20: Initial import.

This branch contains Public information

Everyone can see this information.

No subscribers.