From d1190cc839b768a6f507b6c10d89f3e5896a2249 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 22 Jun 2004 09:25:37 +0000
Subject: [PATCH] Added GF description and pointer to the INSTALL file.

---
 README | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/README b/README
index e69de29bb..f64ba6488 100644
--- a/README
+++ b/README
@@ -0,0 +1,31 @@
+DESCRIPTION
+
+The Grammatical Framework (=GF) is a grammar formalism based on type theory. 
+It consists of
+
+    * a special-purpose programming language
+    * a compiler of the language
+    * a generic grammar processor 
+
+The compiler reads GF grammars from user-provided files, and the 
+generic grammar processor performs various tasks with the grammars:
+
+    * generation
+    * parsing
+    * translation
+    * type checking
+    * computation
+    * paraphrasing
+    * random generation
+    * syntax editing 
+
+GF particularly addresses two aspects of grammars:
+
+    * multilinguality (parallel grammars for different languages)
+    * semantics (semantic conditions of well-formedness, semantic 
+      properties of expressions) 
+
+
+INSTALLATION
+
+See src/INSTALL for installation instructions.