diff options
| author | Thomas Kleymann | 1998-11-10 13:14:42 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-10 13:14:42 +0000 |
| commit | b2fda763e66f354ed6dcbe93ac18ebee32d69c21 (patch) | |
| tree | 26708e46d68aab7f6be2e621f116f2de252ce572 /doc | |
| parent | be56a913dabd38992942cc94edb4d085195f6b97 (diff) | |
Removed traces of support for Ruy's legogrep. This is superseded by legotags.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/NewDoc.texi | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/NewDoc.texi b/doc/NewDoc.texi index 941c35a6..9c04543d 100644 --- a/doc/NewDoc.texi +++ b/doc/NewDoc.texi @@ -1315,7 +1315,7 @@ front of the list. When the prover retracts across file boundaries, this list is resynchronised. It contains files in canonical truename format. @inforef{Truenames,,lispref}. You should not set this variable directly. The generic Proof General will modify @code{proof-included-files-list} -itself. Instead for a specific proof assistant you need to customise +itself. Instead, for a specific proof assistant you need to customise @code{proof-shell-process-file}. @code{proof-shell-retract-files-regexp} and @code{proof-shell-compute-new-files-list}. @@ -1388,9 +1388,6 @@ Rod Burstall, Paul Callaghan, Martin Hofmann, James McKinna, -Mark Ruys, -Martin Steffen, -Perdita Stevens, and Markus Wenzel. Thanks to all of you! |