From 95786256fc32ad6881b4d95d98b5b41acd171fc9 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 02:05:13 +0200
Subject: ProofGeneral.texi: Add EasyCrypt in the intro

---
 doc/ProofGeneral.texi | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 5663a6d5..56b9bbc6 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -145,8 +145,7 @@ generic Emacs interface for proof assistants.
 
 Proof General @value{version} has been tested with GNU Emacs
 @value{emacsversion} on Linux.  It is supplied ready to use for the proof
-assistants LEGO, Coq, Isabelle, and PhoX.  Experimental support is
-provided for several other provers.
+assistants Coq, EasyCrypt, and PhoX.
 
 @menu
 * Preface::                     
-- 
cgit v1.2.3