index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2018-12-08
Update doc/index page
John J. Camilleri
2018-12-08
Regnerate HTML if template changes
John J. Camilleri
2018-12-08
Fix some invalid HTML.
John J. Camilleri
2018-12-06
Add some documentation to update_html
John J. Camilleri
2018-12-06
Case-insensitve sed replacements handled the dumb way
John J. Camilleri
2018-12-06
Add reference to DG in homepage footer. Spacing in top links.
John J. Camilleri
2018-12-06
Add link to open #gf in web chat
John J. Camilleri
2018-12-06
Fix linking to chapters in gf-tutorial; Remove reference to Htmls.
John J. Camilleri
2018-12-05
Another fake change to trigger rebuild of gf-tutorial
John J. Camilleri
2018-12-05
Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc
John J. Camilleri
2018-12-05
Update runtime-api.html to match the new visual look of the GF website
John J. Camilleri
2018-12-05
Fake change to trigger rebuild of gf-tutorial
John J. Camilleri
2018-12-05
Clarifications on download page: binary packages include RGL
John J. Camilleri
2018-12-04
Add Stack files for different GHC versions
John J. Camilleri
2018-12-04
Make GF compile with GHC 8.6.2
John J. Camilleri
2018-12-03
downloads: add .deb package for Ubuntu (32-bit)
Thomas Hallgren
2018-12-03
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-12-03
debian/control: new dependency: pandoc
Thomas Hallgren
2018-12-03
Add Travis build images to release notes
John J. Camilleri
2018-12-03
Indent nested lists in Markdown by 4 spaces instead of 2
John J. Camilleri
2018-12-03
Put GF logo on the right again
John J. Camilleri
2018-12-03
Update release notes RGL section (not much)
John J. Camilleri
2018-12-03
Update 3.10 release notes after going through all gf-core commits since 2017-...
John J. Camilleri
2018-12-03
Update clean_html to handle markdown sources too
John J. Camilleri
2018-12-03
Put floating logo on left
John J. Camilleri
2018-12-03
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-12-03
debian/changelog: updated release date
Thomas Hallgren
2018-12-02
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-12-02
gf.cabal: update tested-with
Thomas Hallgren
2018-12-02
Add news item for 3.10 release
John J. Camilleri
2018-12-02
Minor fixes on the GF 3.10 download page
Thomas Hallgren
2018-12-02
Move 3.10 download page into place, update release date
Thomas Hallgren
2018-12-01
Updates to download page for 3.10
John J. Camilleri
2018-12-01
GF.Main: leave the code page unchanged on Windows
Thomas Hallgren
2018-12-01
build-binary-dist.sh: make it easy to choose which version of ghc to use
Thomas Hallgren
2018-12-01
dealing with ',' as syncategorematic token
Aarne Ranta
2018-11-30
Merge pull request #19 from MUSTE-Project/master
Krasimir Angelov
2018-11-30
Fix deprecations from containers >= 0.4.0.0
Peter LjungloĢf
2018-11-30
removed instructions which doesn't actually work
Krasimir Angelov
2018-11-30
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-11-30
Fix spelling mistake on GF 3.9 download page
Thomas Hallgren
2018-11-30
Update `make deb` for the GF 3.10 release
Thomas Hallgren
2018-11-30
WebSetup.hs: don't output messages that lie about what's being installed
Thomas Hallgren
2018-11-29
gf.cabal: remove redundant dependency on old-locale
Thomas Hallgren
2018-11-29
Custom CSS comes after libraries; add include-before/after (not actively used)
John J. Camilleri
2018-11-29
Don't wrap dates on hompage
John J. Camilleri
2018-11-29
Add basic favicon.ico
John J. Camilleri
2018-11-29
Remove some t2t frontmatter from shell-reference, to trigger update
John J. Camilleri
2018-11-29
Rename _template.html to template.html
John J. Camilleri
2018-11-29
Remove overflow-x:scroll from title
John J. Camilleri
[next]