diff options
-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 |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
-rw-r--r-- | CHANGES | 5 |
@@ -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 |