diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-01-31 12:03:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-01-31 12:03:04 +0000 |
| commit | b496b332c1b10215faa9e522a831ef0856fdbec3 (patch) | |
| tree | 4f3e7cf95e29af46eba3c7956ed0d5af575fdab1 /CHANGES | |
| parent | ddfda254d0695ae7f188b6636b1e9ebd6757b84b (diff) | |
Added Assia's contribution to ssreflect mode for coq in CHANGES.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -72,6 +72,9 @@ isar-find-theorems-form or isar-find-theorems-minibuffer. *** No more support for coq 7.x +*** Support for ssreflect proof mode +Support added by Assia Mahboubi. + *** coq 8.0 compatibility mode If coq does not detect the good coq version at startup put one of |