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 /download | |
| parent | 7ffdfe9b3a807686afd2d654b1198e6e6035ef84 (diff) | |
Minor release/download/developer doc changes
Diffstat (limited to 'download')
| -rw-r--r-- | download/index.t2t | 2 | ||||
| -rw-r--r-- | download/release-next.t2t | 4 |
2 files changed, 3 insertions, 3 deletions
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=== |