diff options
author | Hendrik Tews <hendrik@askra.de> | 2011-09-19 13:29:29 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2011-09-19 13:29:29 +0000 |
commit | 527c718ff6334b15d8ba0a87a8ed920cb37918c7 (patch) | |
tree | 498b82c0b1e76c61055f507631a456e184c8c98e /doc | |
parent | 9697d2f0dc4d223df13a339c08cdd619a2821908 (diff) |
fix doc for coq -R patch
Diffstat (limited to 'doc')
-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. |