major overhaul, now supporting Software Foundation
no need to display tactics failing
more commands
reactivate keyboard support in d3tree
changing keywords
more restrictive code detection, avoids example code
fixed buttons
added support for explicit printing
added buggy smart context printing (need to treat binders)
minor change
now saving and restoring textareas
first draft of lexer/parser for Coq types, switching computer
now replaying software foundations
fixed part of the parser, and the display
more precise import
fixed display bug
support for andb and orb
first draft of parenthesing and precendence fixes
better support for precedences
fixed wrong precedence for application