Ajout Pcoq et Proof General

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8389 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 16 insertions, 0 deletions

diff --git a/doc/biblio.bib b/doc/biblio.bib
index 242eebd4e..96cf10028 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -1052,6 +1052,22 @@ Decomposition}},
   note = "Habilitationsschrift, LMU Munchen.",
   year = "1993" }
 
+
+
+@Misc{Pcoq,
+  author =	 {Lemme Team},
+  title =	 {Pcoq a graphical user-interface for {Coq}},
+  note =	 {\url{http://www-sop.inria.fr/lemme/pcoq/}}
+}
+
+
+
+@Misc{ProofGeneral,
+  author =	 {David Aspinall},
+  title =	 {Proof General},
+  note =	 {\url{http://proofgeneral.inf.ed.ac.uk/}}
+}
+
 @INCOLLECTION{wadler87,
         AUTHOR             = {P. Wadler},
         TITLE              = {Efficient  Compilation of Pattern Matching},