From 3d939a9500a8991802807784160ac4c2f8989c10 Mon Sep 17 00:00:00 2001
From: hallgren `--prefix` option during the configuration phase.
-The compiled GF Resource Grammar Library will be installed in /usr/local/share/gf-3.0/lib
-on Linux and in c:\Program Files\Haskell\gf-3.0\lib on Windows. Again the location could
+The compiled GF Resource Grammar Library will be installed in /usr/local/share/gf-3.1/lib
+on Linux and in c:\Program Files\Haskell\gf-3.1\lib on Windows. Again the location could
be changed using the `--prefix` option.
-This manual is meant to be fully compatible with GF version 3.0 -(forthcoming). Main discrepancies with version 2.8 are indicated, +This manual is meant to be fully compatible with GF version 3.0. +Main discrepancies with version 2.8 are indicated, as well as with the reference article on GF,
@@ -4540,6 +4539,4 @@ All other symbols are terminals.
- - diff --git a/index.html b/index.html index 7f7e9d318..f1525fa85 100644 --- a/index.html +++ b/index.html @@ -15,7 +15,7 @@-Version 3.0 +Version 3.1
December 2009 diff --git a/src/server/MorphoService.hs b/src/server/MorphoService.hs index 016fc982a..5c173c868 100644 --- a/src/server/MorphoService.hs +++ b/src/server/MorphoService.hs @@ -27,10 +27,10 @@ import URLEncoding -- FIXME !!!!!! grammarFile :: FilePath -grammarFile = "/usr/local/share/gf-3.0/lib/alltenses/ParadigmsFin.gfo" +grammarFile = "/usr/local/share/gf-3.1/lib/alltenses/ParadigmsFin.gfo" grammarPath :: FilePath -grammarPath = "/usr/local/share/gf-3.0/lib/prelude" +grammarPath = "/usr/local/share/gf-3.1/lib/prelude" main :: IO () main = do initFastCGI diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal index 4bd5c59fd..05cbebf76 100644 --- a/src/server/gf-server.cabal +++ b/src/server/gf-server.cabal @@ -12,7 +12,7 @@ executable pgf-server directory, filepath, containers, - gf >= 3.0, + gf >= 3.1, cgi >= 3001.1.7.0, fastcgi >= 3001.0.2.1, json >= 0.3.3, @@ -34,7 +34,7 @@ executable morpho-server directory, filepath, containers, - gf >= 3.0, + gf >= 3.1, cgi >= 3001.1.7.0, fastcgi >= 3001.0.2.1, json >= 0.3.3,