1
0
forked from GitHub/gf-core

GFEP: page is now valid HTML and uses the gf.org stylesheet

This commit is contained in:
john.j.camilleri
2012-03-28 12:52:12 +00:00
parent 47c116b5a6
commit 0f04d88903
4 changed files with 14 additions and 2 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 22 KiB

After

Width:  |  Height:  |  Size: 18 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 23 KiB

After

Width:  |  Height:  |  Size: 18 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 46 KiB

After

Width:  |  Height:  |  Size: 40 KiB

View File

@@ -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>