diff options
| author | David Aspinall | 2000-02-15 18:33:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-15 18:33:38 +0000 |
| commit | d7166d06af77d91ef9eed7a2130ed2b41cac9930 (patch) | |
| tree | 53205a6c495137a5d9579c97f38d3a8b890e75be /html | |
| parent | 50f46e2623bd2282c3c25b421f75b24eef16071b (diff) | |
Minor improvements
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 7ba14a89..4a364098 100644 --- a/html/projects.phtml +++ b/html/projects.phtml @@ -120,7 +120,7 @@ A worthwhile project would be to rewrite the core script management features of Proof General so that they could work for arbitrary interactive scripting languages, and instantiate to Proof General as well as languages such as ML, Haskell, LISP, Scheme, Python, and -even Emacs Lisp itself! +even Emacs Lisp itself. </p> <p> An alternative version of this project is to implement a |