diff options
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 0 insertions, 2 deletions
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. |