diff options
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 |