diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/features.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
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 3171c74d..4c0e1819 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -14,7 +14,7 @@ assistant, and you'd like some of the following features: <dd> A <em>proof script</em> is a sequence of commands sent to a proof assistant to construct a proof, usually stored in - a file. <emScript management</em> connects the editing of a + a file. <em>Script management</em> connects the editing of a proof script directly to an interactive proof process, maintaining consistency between the edit buffer and the state of the proof assistant. |