| Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
`Cabal install` is fragile and can fail if the GHC on path is of an incompatible version.
Use ghcup to use a GHC version that is known to work.
|
|
|
|
|
|
|
|
|
|
version.
|
|
|
|
|
|
dnf is the new yum, see https://fedoramagazine.org/5tftw-2014-06-10/
|
|
|
|
New .deb packages have been generated since it turned out that the
RGL was missing in original .deb packages.
|
|
|
|
|
|
|
|
|
|
|
|
2017-08-11
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Conflicts:
# index.html
|
|
|
|
|
|
Archive 3.9 pages and mark current ones for 18-12
|
|
|
|
|
|
Remaining: cleaning of t2t files (remove unnecessary options)
|
|
|
|
|
|
If these pages disappear from the web via www.grammaticalframework.org
then this commit may need to be reversed
|
|
|
|
|
|
|
|
|
|
|
|
|