From ac16928d873d452369957af855fece17619eef34 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 29 Nov 2013 16:04:52 +0000 Subject: [PATCH] Minor release/download/developer doc changes --- doc/gf-developers.t2t | 4 ++-- download/index.t2t | 2 +- download/release-next.t2t | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/gf-developers.t2t b/doc/gf-developers.t2t index 92f477c4a..3dba43508 100644 --- a/doc/gf-developers.t2t +++ b/doc/gf-developers.t2t @@ -366,8 +366,8 @@ setup: Distribution/Simple/PackageIndex.hs:124:8-13: Assertion failed ``` The exact cause of this problem is unclear, but it seems to happen -during the configure phase if GF is already installed, so a workaround -is to remove the existing installation with +during the configure phase if the same version of GF is already installed, +so a workaround is to remove the existing installation with ``` ghc-pkg unregister gf diff --git a/download/index.t2t b/download/index.t2t index 84e4cf0ea..9f1bbe4b2 100644 --- a/download/index.t2t +++ b/download/index.t2t @@ -116,7 +116,7 @@ There seems to be a bug in some versions of Cabal that can cause Distribution/Simple/PackageIndex.hs:124:8-13: Assertion failed ``` - if GF is +if the same version of GF is already installed. If you encounter this, you can use ``ghc-pkg unregister gf`` to remove the installed version of GF and ``ghc-pkg list gf`` to verify that it is gone. diff --git a/download/release-next.t2t b/download/release-next.t2t index 350d8b83f..8e1e33c26 100644 --- a/download/release-next.t2t +++ b/download/release-next.t2t @@ -14,7 +14,7 @@ See the [download page http://www.grammaticalframework.org/download/index.html]. Over [...] changes have been pushed to the source repository since the release of GF 3.5. -Closed issues: 30, 41, 57, 60, 61, 68. +Closed issues: 25, 30, 41, 57, 60, 61, 68, 80. ===GF compiler and run-time library=== @@ -34,7 +34,7 @@ Closed issues: 30, 41, 57, 60, 61, 68. % (and thus the command line option --dump-refresh) had become obsolete and has been removed. - ``nonExist`` now exists. [...] -- [...] +- Unicode characters in identifiers [...] ===Resource Grammar Library===