diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-28 12:52:12 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-28 12:52:12 +0000 |
| commit | 0f04d889034e7e172c10b0fd235aa421c150137e (patch) | |
| tree | 285ad4a4b4fb1f888ef0dc85d7070dc40943e685 /eclipse/index.html | |
| parent | 47c116b5a6b9ba99523c4beff6222b712c3922e9 (diff) | |
GFEP: page is now valid HTML and uses the gf.org stylesheet
Diffstat (limited to 'eclipse/index.html')
| -rw-r--r-- | eclipse/index.html | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index 15f11d3aa..83837dbef 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -1,3 +1,13 @@ +<html> +<head> + +<title>GF Eclipse Plugin</title> + +<link rel="stylesheet" type="text/css" href="http://www.grammaticalframework.org/css/style.css"> + +</head> +<body> + <h1>The GF Eclipse Plugin</h1> <p>John J. Camilleri<br /> @@ -238,7 +248,7 @@ If your project has the GF icon overlayed on it, then the GF nature and builder <h3>Outline view</h3> -<p>The <strong>Outline</strong> view in the bottom-right offers a quite overview of your module structure. Clicking any of the terms will make your cursor jump to that point in the file.</p> +<p>The <strong>Outline</strong> view in the bottom-left offers a quite overview of your module structure. Clicking any of the terms will make your cursor jump to that point in the file.</p> <h3>Cross-referencing errors and warnings</h3> @@ -419,7 +429,7 @@ Each time you save a file (or some other change occurs in your project), the bui <tr> <td align="center"><img src="http://www.grammaticalframework.org/eclipse/images/module-functor.png" alt="" /></td> <td align="left">Functor</td> - <td align="left"><code>incomplete concrete FodosI of Foods = ...</code></td> + <td align="left"><code>incomplete concrete FoodsI of Foods = ...</code></td> </tr> <tr> <td align="center"><img src="http://www.grammaticalframework.org/eclipse/images/module-functor-instantiation.png" alt="" /></td> @@ -428,3 +438,5 @@ Each time you save a file (or some other change occurs in your project), the bui </tr> </tbody> </table> +</body> +</html> |