From 260582b58ae8f8c8387a3453c3fa2f0dff68b317 Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Thu, 13 Apr 2023 17:19:08 +0300 Subject: [PATCH 1/2] remove dead link to the coverage map --- doc/synopsis/intro.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/synopsis/intro.txt b/doc/synopsis/intro.txt index 82bcb9e32..3029637fd 100644 --- a/doc/synopsis/intro.txt +++ b/doc/synopsis/intro.txt @@ -32,7 +32,6 @@ the library, view all functions in a module's scope, and quickly jump to their d Other relevant documents: - [The RGL Status Document ../status.html]: the current status of different languages and the authors of each grammar -- [The Resource Grammar Library coverage map http://www.postcrashgames.com/gf_world/] - [RGL Documentation and Publications ../rgl-publications.html]: links to publications and other documentation - [More modules ../gfdoc/sources.html]: extra modules, dictionaries, and the internals of the resource grammar From efdc35f22f49deb517a602e8660854dc383c0d3c Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Thu, 13 Apr 2023 17:20:22 +0300 Subject: [PATCH 2/2] remove dead link to coverage map --- doc/status.txt | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/status.txt b/doc/status.txt index 9a932e67a..1e27d9617 100644 --- a/doc/status.txt +++ b/doc/status.txt @@ -7,8 +7,6 @@ Aarne Ranta The following table gives the languages currently available in the GF Resource Grammar Library. -For another view, see the -[The Resource Grammar Library coverage map http://www.postcrashgames.com/gf_world/] . Corrections and additions are welcome! Notice that only those parts of implementations that are currently available via https://github.com/GrammaticalFramework/gf-rgl/