From 527c718ff6334b15d8ba0a87a8ed920cb37918c7 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Mon, 19 Sep 2011 13:29:29 +0000 Subject: fix doc for coq -R patch --- doc/ProofGeneral.texi | 2 -- 1 file changed, 2 deletions(-) (limited to 'doc') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index ed69d3e7..aeab029a 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -4461,8 +4461,6 @@ addressed in the next release: @itemize @item -Support directory trees in @code{coq-load-path} (option @code{-R}). -@item Support @code{Declare ML Module} commands. @item Improved undo behaviour for locked ancestors. -- cgit v1.2.3