diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-29 16:04:52 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-29 16:04:52 +0000 |
| commit | 729d04051a8f4f92dea0a3d22c64ece2122216bd (patch) | |
| tree | d041f0e27a83c9d055616d8e9b799271d5196ebc | |
| parent | 7ffdfe9b3a807686afd2d654b1198e6e6035ef84 (diff) | |
Minor release/download/developer doc changes
| -rw-r--r-- | doc/gf-developers.t2t | 4 | ||||
| -rw-r--r-- | download/index.t2t | 2 | ||||
| -rw-r--r-- | 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=== |