diff options
| -rw-r--r-- | eclipse/images/eclipse-after-format.png | bin | 22971 -> 18660 bytes | |||
| -rw-r--r-- | eclipse/images/eclipse-before-format.png | bin | 23370 -> 18794 bytes | |||
| -rw-r--r-- | eclipse/images/eclipse-treebank-manager.png | bin | 47156 -> 41492 bytes | |||
| -rw-r--r-- | eclipse/index.html | 16 |
4 files changed, 14 insertions, 2 deletions
diff --git a/eclipse/images/eclipse-after-format.png b/eclipse/images/eclipse-after-format.png Binary files differindex 35ac8f88c..da1a75248 100644 --- a/eclipse/images/eclipse-after-format.png +++ b/eclipse/images/eclipse-after-format.png diff --git a/eclipse/images/eclipse-before-format.png b/eclipse/images/eclipse-before-format.png Binary files differindex 5cbaa711a..eb7fbfd85 100644 --- a/eclipse/images/eclipse-before-format.png +++ b/eclipse/images/eclipse-before-format.png diff --git a/eclipse/images/eclipse-treebank-manager.png b/eclipse/images/eclipse-treebank-manager.png Binary files differindex 9c70ed6cd..8e19f86dd 100644 --- a/eclipse/images/eclipse-treebank-manager.png +++ b/eclipse/images/eclipse-treebank-manager.png 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> |
