diff options
| author | David Aspinall | 1999-10-15 17:49:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-15 17:49:29 +0000 |
| commit | 564a582e9f3b8f491a553c6db5eb6d156157e068 (patch) | |
| tree | d0a6bd0360c3d3fd1b6e1027556a048107177117 /html/features.phtml | |
| parent | ac5723025f1de3b6d7131b58b42fa6d4a867efe5 (diff) | |
Doc fixes, php streamlining
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 |