From dfa5b9276d4c5b67b30323f7c3224237fbdaeced Mon Sep 17 00:00:00 2001
From: Inari Listenmaa
Date: Thu, 22 Jul 2021 01:08:00 +0200
Subject: #gf IRC channel has moved to Libera
---
index.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'index.html')
diff --git a/index.html b/index.html
index c8a990fd6..0fa2c2a70 100644
--- a/index.html
+++ b/index.html
@@ -214,8 +214,8 @@ least one, it may help you to get a first idea of what GF is.
- We run the IRC channel #gf on the Freenode network, where you are welcome to look for help with small questions or just start a general discussion.
- You can open a web chat
+ We run the IRC channel #gf on the Libera network, where you are welcome to look for help with small questions or just start a general discussion.
+ You can open a web chat (type #gf on the field for Channel)
or browse the channel logs.
--
cgit v1.2.3
From bb51224e8e171e2172c85ca1fe86636fee9cbca3 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri"
Date: Fri, 23 Jul 2021 16:07:34 +0200
Subject: IRC link pre-fills channel. Link to logs gives newest first.
---
index.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'index.html')
diff --git a/index.html b/index.html
index 0fa2c2a70..54e95c772 100644
--- a/index.html
+++ b/index.html
@@ -215,8 +215,8 @@ least one, it may help you to get a first idea of what GF is.
We run the IRC channel #gf on the Libera network, where you are welcome to look for help with small questions or just start a general discussion.
- You can open a web chat (type #gf on the field for Channel)
- or browse the channel logs.
+ You can open a web chat
+ or browse the channel logs.
If you have a larger question which the community may benefit from, we recommend you ask it on the mailing list.
--
cgit v1.2.3
From 810640822dc3047af8fd9d7988e3f2423595c7b2 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa
Date: Sun, 25 Jul 2021 15:37:12 +0800
Subject: Update documentation for release 3.11
---
download/index-3.11.md | 22 +++++++++++++---------
download/index.html | 4 ++--
download/release-3.11.md | 4 ++--
index.html | 8 ++++++--
4 files changed, 23 insertions(+), 15 deletions(-)
(limited to 'index.html')
diff --git a/download/index-3.11.md b/download/index-3.11.md
index 0ebf0f031..4f2798a0a 100644
--- a/download/index-3.11.md
+++ b/download/index-3.11.md
@@ -1,8 +1,9 @@
---
title: Grammatical Framework Download and Installation
-...
+date: 25 July 2021
+---
-**GF 3.11** was released on ... December 2020.
+**GF 3.11** was released on 25 July 2021.
What's new? See the [release notes](release-3.11.html).
@@ -24,22 +25,25 @@ Binary packages are available for Debian/Ubuntu, macOS, and Windows and include:
Unlike in previous versions, the binaries **do not** include the RGL.
-[Binary packages on GitHub](https://github.com/GrammaticalFramework/gf-core/releases/tag/RELEASE-3.11)
+[Binary packages on GitHub](https://github.com/GrammaticalFramework/gf-core/releases/tag/3.11)
#### Debian/Ubuntu
+There are two versions: `gf-3.11-ubuntu-18.04.deb` for Ubuntu 18.04 (Cosmic), and `gf-3.11-ubuntu-20.04.deb` for Ubuntu 20.04 (Focal).
+
To install the package use:
+
```
-sudo dpkg -i gf_3.11.deb
+sudo apt-get install ./gf-3.11-ubuntu-*.deb
```
-The Ubuntu `.deb` packages should work on Ubuntu 16.04, 18.04 and similar Linux distributions.
+
#### macOS
To install the package, just double-click it and follow the installer instructions.
-The packages should work on at least 10.13 (High Sierra) and 10.14 (Mojave).
+The packages should work on at least Catalina and Big Sur.
#### Windows
@@ -49,7 +53,7 @@ You will probably need to update the `PATH` environment variable to include your
For more information, see [Using GF on Windows](https://www.grammaticalframework.org/~inari/gf-windows.html) (latest updated for Windows 10).
-## Installing the latest Hackage release (macOS, Linux, and WSL2 on Windows)
+
## Installing from the latest developer source code
If you haven't already, clone the repository with:
@@ -116,7 +120,7 @@ or, if you're a Stack user:
stack install
```
-The above notes for installing from source apply also in these cases.
+
For more info on working with the GF source code, see the
[GF Developers Guide](../doc/gf-developers.html).
diff --git a/download/index.html b/download/index.html
index eb32412f8..810537bd8 100644
--- a/download/index.html
+++ b/download/index.html
@@ -1,8 +1,8 @@
-
+
- You are being redirected to the current version of this page.
+ You are being redirected to the current version of this page.
diff --git a/download/release-3.11.md b/download/release-3.11.md
index 2e9de41a9..66d0c6ce1 100644
--- a/download/release-3.11.md
+++ b/download/release-3.11.md
@@ -1,7 +1,7 @@
---
title: GF 3.11 Release Notes
-date: ... July 2021
-...
+date: 25 July 2021
+---
## Installation
diff --git a/index.html b/index.html
index 54e95c772..8816cc265 100644
--- a/index.html
+++ b/index.html
@@ -226,7 +226,11 @@ least one, it may help you to get a first idea of what GF is.
News
-
+
2021-07-25
+
+ GF 3.11 released.
+ Release notes
+
- 2021-05-05
-
@@ -234,7 +238,7 @@ least one, it may help you to get a first idea of what GF is.
- 2021-03-01
-
- Seventh GF Summer School, in Singapore and online, 26 July – 8 August 2021.
+ Seventh GF Summer School, in Singapore and online, 26 July – 6 August 2021.
- 2020-09-29
-
--
cgit v1.2.3