From 6a09c525408ea20018c671bf2a09013a9d784bcc Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 22 Jun 2004 13:13:28 +0000 Subject: [PATCH] spec --- src/gf.spec | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/gf.spec b/src/gf.spec index dbcc777be..9c421ee66 100644 --- a/src/gf.spec +++ b/src/gf.spec @@ -8,7 +8,7 @@ Version: %{version} Release: %{release} License: GPL Group: Sciences/Other -URL: http://www.cs.chalmers.se/~aarne/GF/pub/work-index/ +URL: http://www.cs.chalmers.se/~aarne/GF/ Source: %{name}-%{version}.tar.gz BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-buildroot BuildRequires: ghc @@ -33,12 +33,13 @@ generic grammar processor performs various tasks with the grammars: * random generation * syntax editing -GF particularly addresses two aspects of grammars: +GF particularly addresses the following aspects of grammars: * multilinguality (parallel grammars for different languages) * semantics (semantic conditions of well-formedness, semantic properties of expressions) - + * grammar engineering (modularity, information hiding, reusable + libraries)