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 4c0e1819..3e5e4c55 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -39,7 +39,7 @@ assistant, and you'd like some of the following features: coloured to reflect whether the proof assistant has loaded it in this session. <p> - Dependencies between script files is + Dependencies between script files are communicated from the proof assistant to Proof General. If you want to edit a file which has been loaded into the proof assistant already, Proof General will unlock the file |