diff options
Diffstat (limited to 'coq/README')
-rw-r--r-- | coq/README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ Coq Proof General Originally written by Healfdene Goguen. Later contributions by Patrick Loiseleur, Pierre Courtieu, - David Aspinall + David Aspinall, Stefan Monier, Hendrik Tews Status: supported Maintainer: Pierre Courtieu |