diff options
| author | David Aspinall | 2010-11-03 16:58:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-11-03 16:58:56 +0000 |
| commit | a855fbd57bb569ce93ad89524071056c37d3146a (patch) | |
| tree | 331f39512246988e77d25ff3bc0e2660ac96a6f4 | |
| parent | 778d9efd5d82941c36025ee6afced8fcdc4a4e1d (diff) | |
Updated.
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -11,6 +11,11 @@ *** Unicode tokens enabled by default +** Coq changes + +*** Fixes for Coq 8.3 + + * Main Changes for Proof General 4.0 from 3.7.1 |