diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-02-17 20:02:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-17 20:02:40 +0000 |
| commit | 0a43ddd2a619ccb75bb3ae52e1c3846e346a5473 (patch) | |
| tree | 5c9b7a8afb3e12f3813eaea14690072afcab1fdd /html | |
| parent | 1aef40ccb3fa034925cd2e5870e94b2344473a49 (diff) | |
Typo
Diffstat (limited to 'html')
| -rw-r--r-- | html/projects.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/projects.phtml b/html/projects.phtml index c6fc1fab..022aa052 100644 --- a/html/projects.phtml +++ b/html/projects.phtml @@ -142,7 +142,7 @@ knowledge of scripting languages desirable. <p> Proof General has very limited mechanisms for helping the user find theorems and definitions during a proof. It has notion of displaying -a ``current context'' for a proof, and configuration with a proof +a "current context" for a proof, and configuration with a proof engine command for searching for theorems. It would be useful to extend these facilities with a <i>theory browser</i> for investigating the theories currently defined in a running proof assistant. This |