diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -285,7 +285,7 @@ Tools - CoqIDE font defaults to monospace so as indentation to be meaningful. - CoqIDE supports Definition/Parameter/Inductive in middle of a proof. - Undoing non-tactic commands in CoqIDE works faster. -- New CoqIDE buttons for activating display of various implicit informations. +- New CoqIDE menu for activating display of various implicit informations. Miscellaneous |