diff options
Diffstat (limited to 'html/projects/hol.html')
| -rw-r--r-- | html/projects/hol.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/html/projects/hol.html b/html/projects/hol.html index 4b623bfb..6828899a 100644 --- a/html/projects/hol.html +++ b/html/projects/hol.html @@ -26,9 +26,14 @@ SML, it just looks for semicolons. This could be improved by taking a better parser (e.g. from sml mode). </p> <p> +Finally, to fully support the current Proof General feature set, +it would be useful to extend HOL with support for communicating +file-dependency information to Proof General, and term-structure +markup for proof by pointing. +<p> <b>Skills:</b> Some Standard ML, some Emacs Lisp. Basic understanding of -proof assistant behaviour. +proof assistant behaviour, interest in HOL. </p><p> <b>Proposer:</b> <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. |