diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-14 13:15:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-14 13:15:56 +0000 |
| commit | f2786ca0a04ab851421751d356ea659e39820700 (patch) | |
| tree | d07dfb91bfcf14ac4887b1ef02f8a255ab15674d /doc/index.html | |
| parent | e36af534bf70e719212836c12f133770357cd93b (diff) | |
Adding a GF shell command reference
First, plain text version generated with 'help -full' in the shell.
Introduction taken from the GF book.
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 37 |
1 files changed, 24 insertions, 13 deletions
diff --git a/doc/index.html b/doc/index.html index f6bbf7f1a..1accf3fe6 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1,17 +1,21 @@ -<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> -<html><head><title>GF Documentation</title></head> +<!DOCTYPE html> +<html> +<head> +<title>GF Documentation</title> +<link rel=stylesheet href="../css/style.css"> +</head> -<body bgcolor="#ffffff" text="#000000"> +<body> -<center> -<img src="Logos/gf0.png"> +<div class=center> +<a href="../"><img src="Logos/gf0.png"></a> <h1>Grammatical Framework Documents</h1> -</center> +</div> <b>Top-5 documents</b>: @@ -32,16 +36,23 @@ <h2>Language and system documentation</h2> -<a href="gf-reference.html">GF Quick Reference</a>. Also available in -<a href="gf-reference.pdf">pdf</a>. Covers all features of GF language -in a summary format. +<ul> -<p> - -<a href="gf-refman.html">GF Reference Manual</a>. A full-scale reference -manual of the GF language. + <li> + <a href="gf-reference.html">GF Quick Reference</a>. Also available in + <a href="gf-reference.pdf">pdf</a>. Covers all features of GF language + in a summary format. + <li> + <a href="gf-refman.html">GF Reference Manual</a>. A full-scale reference + manual of the GF language. + + <li> + <a href="gf-shell-reference.html">GF Shell Reference</a>. + Describes the commands available in the interactive GF shell. Also + summarizes how to run GF as a batch compiler. +</ul> <h2>Publications</h2> |