Log in / Register
the Natural Deduction LaTeX Package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #156940
Comment #3
Comment 3 for bug 156940
Revision history for this message
Dan Watkins (oddbloke)
wrote
on 2007-11-01
:
#3
Fixed in trunk, revision 3.
Fixed in trunk, revision 3.
Fixed in trunk, revision 3.