diff options
Diffstat (limited to 'html/features.phtml')
| -rw-r--r-- | html/features.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/features.phtml b/html/features.phtml index bb6825ff..091139b8 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -40,7 +40,7 @@ If not, read on… from the most recent interaction, rather than a screen full of output from the proof assistant. <p> - Despite more friendly communication model, Proof General does not + Despite this more friendly communication model, Proof General does not commandeer the proof assistant shell: the user still has complete access to it if necessary. </p> |