diff options
| author | David Aspinall | 2002-07-18 12:06:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:06:09 +0000 |
| commit | 9a22cf73d6632c26141871f702a3b692c2457a2b (patch) | |
| tree | 20e5056d019a3ee49967b3a8521906e3c786e067 /html/devel.html | |
| parent | a29ef320617289cd9318d0f96b91e89fcfd46819 (diff) | |
Link to standalone comps
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: --> |