From 221f5e5622c866d1dae8e5c5e73156fa3e99ccfc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 8 Sep 2014 19:17:29 +0200
Subject: Removing the documentation of the XML plugin.

---
 doc/faq/FAQ.tex | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc/faq/FAQ.tex')

diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index fba210c690..1c28063e68 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -295,7 +295,6 @@ There are graphical user interfaces:
 There are documentation and browsing tools:
 
 \begin{description}
-\item[Helm/Mowgli] A rendering, searching and publishing tool.
 \item[coq-tex] A tool to insert {\Coq} examples within .tex files. 
 \item[coqdoc] A documentation tool for \Coq.
 \item[coqgraph] A tool to generate a dependency graph from {\Coq} sources.
-- 
cgit v1.2.3