forked from GitHub/gf-core
Minor release/download/developer doc changes
This commit is contained in:
@@ -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
|
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
|
during the configure phase if the same version of GF is already installed,
|
||||||
is to remove the existing installation with
|
so a workaround is to remove the existing installation with
|
||||||
|
|
||||||
```
|
```
|
||||||
ghc-pkg unregister gf
|
ghc-pkg unregister gf
|
||||||
|
|||||||
@@ -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
|
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``
|
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
|
to remove the installed version of GF and ``ghc-pkg list gf`` to verify that
|
||||||
it is gone.
|
it is gone.
|
||||||
|
|||||||
@@ -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
|
Over [...] changes have been pushed to the source repository since the release
|
||||||
of GF 3.5.
|
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===
|
===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)
|
% (and thus the command line option --dump-refresh)
|
||||||
had become obsolete and has been removed.
|
had become obsolete and has been removed.
|
||||||
- ``nonExist`` now exists. [...]
|
- ``nonExist`` now exists. [...]
|
||||||
- [...]
|
- Unicode characters in identifiers [...]
|
||||||
|
|
||||||
|
|
||||||
===Resource Grammar Library===
|
===Resource Grammar Library===
|
||||||
|
|||||||
Reference in New Issue
Block a user