Thu Apr 20 19:33:11 WEST 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Document more bugs
{
hunk ./Makefile 56
- cp html/HowToUse.html $(MAIN).app/Contents/Resources
hunk ./index.html 82
- <li> When reducing, the application show the rule used, but don't actualize the selection in the tree of rules. [_$_]
+ <li> When reducing, the application show the rule used, but don't actualize the selection in the tree of rules.
+ <li> Geometric problems: sometimes, some buttons disappear and the user need to resize windows or move splitters to fix that. [_$_]
hunk ./index.html 88
+ <li> The same applies to the generation of new symbols.
}