From 9e51d6adae7df51fec57d3422bfdef991f6fc674 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Aug 2009 14:47:19 +0000
Subject: Remove experimental features node

---
 doc/ProofGeneral.texi | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 8919f152..304b1dce 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1848,7 +1848,6 @@ mechanisms if you want to do this.
 * Automatic multiple file handling::
 * Escaping script management::
 * Editing features::
-* Experimental features::
 @end menu
 
 @node Document centric working
-- 
cgit v1.2.3