Created by Dan Watkins and last modified
Get this branch:
bzr branch lp:naturaldeduction
Only Dan Watkins can upload to this branch. If you are Dan Watkins please log in for upload directions.

Related bugs

Related blueprints

Branch information

Dan Watkins
the Natural Deduction LaTeX Package

Recent revisions

8. By Dan Watkins

Added .ins file.

7. By Dan Watkins

Removed extra space, fixing LP bug #159392.

6. By Dan Watkins

The width of columns must now be specified. test.tex has been modified to reflect that this is the case.

5. By Dan Watkins

Added general test-case for adjacent nested assumptions.

4. By Dan Watkins

Added some more structure to test.tex.

3. By Dan Watkins

Fixed LP bug #156940.

2. By Dan Watkins

Added test case for Launchpad bug #156940.

1. By Dan Watkins

Initial import.

This branch contains Public information 
Everyone can see this information.


No subscribers.