diff options
Diffstat (limited to 'html/main.phtml')
| -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> |