diff options
| author | David Aspinall | 1999-11-17 20:30:28 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 20:30:28 +0000 |
| commit | a5902e2bd0c52d05f8321372441870180735ca03 (patch) | |
| tree | b3501f3744f7d05238be33e6766fea68d0f27c82 /html | |
| parent | 0622822a68e862aa04cfb170856bfecd045460f9 (diff) | |
Full stop added
Diffstat (limited to 'html')
| -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 a8631cbc..d71d97c5 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -147,7 +147,7 @@ If not, read on… buttons, no text file editing!). <p> Most importantly, Proof General is generic, so you can adapt it to - a new proof assistant with surprisingly little effort + a new proof assistant with surprisingly little effort. <p> Adapting for a new proof assistant is mainly a matter of setting some variables with regular expressions to help parse output from |