diff options
author | huang <huang@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-04-04 09:16:43 +0000 |
---|---|---|
committer | huang <huang@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-04-04 09:16:43 +0000 |
commit | c63621e9c7e4851b01484475233d1a018911cbb2 (patch) | |
tree | f89028b98423d994bfce9052fb7844aff98dcf94 /CREDITS | |
parent | ff3e603f4245e6f7ee4497ef78ce456194c8c6bd (diff) |
Added credits for jprover.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2609 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CREDITS')
-rw-r--r-- | CREDITS | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -46,6 +46,10 @@ contrib/ring and Patrick Loiseleur (LRI, 1997-1999) contrib/xml developed by Claudio Sacerdotti (Univ. Bologna, 2000-2001) +contrib/jprover + The author of JProver is Stephan Schmitt <schmitts@spmail.slu.edu>, + and is integrated into MetaPRL by Aleksey Nogin <nogin@cs.cornell.edu> + and then into Coq by HUANG Guan-Shieng (LRI, 2001-2002) parsing/search.ml developed by Yves Bertot (INRIA-Lemme, 2000) |