diff options
author | 1999-11-30 12:07:00 +0000 | |
---|---|---|
committer | 1999-11-30 12:07:00 +0000 | |
commit | a5c545d32ab4851d20117f4c58b1f3406d961352 (patch) | |
tree | f16581fe21c8787ab7acc0c7eb3f0fe0e4b96d0e /html/features.phtml | |
parent | 18905b2501ae83d34854a841fda95b3634951d1b (diff) |
Typo
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> |