From c63621e9c7e4851b01484475233d1a018911cbb2 Mon Sep 17 00:00:00 2001
From: huang <huang@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 4 Apr 2002 09:16:43 +0000
Subject: Added credits for jprover.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2609 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CREDITS | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 299dc5b3f..ad186afb3 100644
--- a/CREDITS
+++ b/CREDITS
@@ -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)
 
-- 
cgit v1.2.3