diff options
Diffstat (limited to 'eclipse')
| -rw-r--r-- | eclipse/index.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index d4325dfd7..71d3b1457 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 /> @@ -502,3 +512,5 @@ Feedback (both negative and positive) on the following would be appreciated:</p> <pre><code>gf --v=0 --tags --output-dir=.gfbuild [--path=PATH] FILE </code></pre> +</body> +</html> |