diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-15 16:14:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-15 16:14:43 +0000 |
commit | 9ea8cd404189c747069b68ff8f86900ef03f756f (patch) | |
tree | e401757670b1cd6c5ead75866f6929287d8720f4 | |
parent | faef3e5366a2d384fadbe06d22667185b74a42db (diff) |
Formatting
-rw-r--r-- | html/main.phtml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/html/main.phtml b/html/main.phtml index a04de07e..548edc72 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -96,7 +96,9 @@ including: </table> <p> We also supply instructions for how to customize Proof General to new -proof assistants. Experimental support for new proof assistants is +proof assistants. +<br> +Experimental support for new proof assistants is made available in our developers release. </p> |