diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-01 12:45:39 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-01 12:45:39 +0000 |
| commit | a86085d8ac69477e88ba722a1b74e865b6af39ce (patch) | |
| tree | f6fcae05da9314f6a5f5ebd1b8f90ffe43bc12b2 /eclipse | |
| parent | 36a5b14cfa9734dcca307a186cf9bb05559b2a09 (diff) | |
GFEP: updated readme
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> |