diff options
Diffstat (limited to 'html/devel.html')
| -rw-r--r-- | html/devel.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/html/devel.html b/html/devel.html index c2740b24..76791ddc 100644 --- a/html/devel.html +++ b/html/devel.html @@ -81,6 +81,15 @@ for the </li> </ul> +<ul> +<li> +See Proof General's <a href="components">standalone components</a> +which can be used in other programs. +</li> +</ul> + + + <!-- <ul> --> <!-- <li> --> <!-- Browse source files from the current pre-release: --> |