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