diff options
| author | Pierre Courtieu | 2010-09-09 13:04:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-09-09 13:04:59 +0000 |
| commit | 09ee7250a06c8fe23b8a7ab093f683e1d336bd48 (patch) | |
| tree | e03d04315e1f4e9eeef7ed1671cd98dc85e9a317 | |
| parent | 0e6cb3aca385db96c9b5ddd4b2d57ee7a6811dd0 (diff) | |
filled CHANGES a bit more precisely.
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -98,7 +98,10 @@ Coq/Store goal. *** bug fixes - (Three panes mode, indentation). + - Three panes mode: "window would be too small" error fixed. + - Indentation: several error fixed. If you want to indent tactics + inside "Instance" or "Add Parametric Relation" etc, please put + "Proof." before the tactics. ** Notable internal changes |