summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-12-03Update 3.10 release notes after going through all gf-core commits since 2017-...John J. Camilleri
2018-12-03Update clean_html to handle markdown sources tooJohn J. Camilleri
2018-12-03Put floating logo on leftJohn J. Camilleri
2018-12-03Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreThomas Hallgren
2018-12-03debian/changelog: updated release dateThomas Hallgren
2018-12-02Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreThomas Hallgren
2018-12-02gf.cabal: update tested-withThomas Hallgren
2018-12-02Add news item for 3.10 releaseJohn J. Camilleri
2018-12-02Minor fixes on the GF 3.10 download pageThomas Hallgren
2018-12-02Move 3.10 download page into place, update release dateThomas Hallgren
2018-12-01Updates to download page for 3.10John J. Camilleri
2018-12-01GF.Main: leave the code page unchanged on WindowsThomas Hallgren
2018-12-01build-binary-dist.sh: make it easy to choose which version of ghc to useThomas Hallgren
2018-12-01dealing with ',' as syncategorematic tokenAarne Ranta
2018-11-30Merge pull request #19 from MUSTE-Project/masterKrasimir Angelov
2018-11-30Fix deprecations from containers >= 0.4.0.0Peter Ljunglöf
2018-11-30removed instructions which doesn't actually workKrasimir Angelov
2018-11-30Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreThomas Hallgren
2018-11-30Fix spelling mistake on GF 3.9 download pageThomas Hallgren
2018-11-30Update `make deb` for the GF 3.10 releaseThomas Hallgren
2018-11-30WebSetup.hs: don't output messages that lie about what's being installedThomas Hallgren
2018-11-29gf.cabal: remove redundant dependency on old-localeThomas Hallgren
2018-11-29Custom CSS comes after libraries; add include-before/after (not actively used)John J. Camilleri
2018-11-29Don't wrap dates on hompageJohn J. Camilleri
2018-11-29Add basic favicon.icoJohn J. Camilleri
2018-11-29Remove some t2t frontmatter from shell-reference, to trigger updateJohn J. Camilleri
2018-11-29Rename _template.html to template.htmlJohn J. Camilleri
2018-11-29Remove overflow-x:scroll from titleJohn J. Camilleri
2018-11-29Remove t2t frontmatter from gf-editor-modesJohn J. Camilleri
2018-11-28Minors in footerJohn J. Camilleri
2018-11-28Merge branch 'new-website'John J. Camilleri
2018-11-28Hide release announcement from homepage newsJohn J. Camilleri
2018-11-28Better responsiveness, homepage and footerJohn J. Camilleri
2018-11-28Page uses available width better, no jumping marginsJohn J. Camilleri
2018-11-28fixed a bug in the cnclabel formatAarne Ranta
2018-11-28Revert "Completely remove uses of example-based"John J. Camilleri
2018-11-28Revert "remove the example-based folder. The code is still in the archive"John J. Camilleri
2018-11-28Completely remove uses of example-basedJohn J. Camilleri
2018-11-28bin/build-binary-dist.sh: include the RGL in binary distributionsThomas Hallgren
2018-11-28Put 3.9 page instead of 3.10 until release is finalJohn J. Camilleri
2018-11-28Update top links and footer during hackathonJohn J. Camilleri
2018-11-28Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreKrasimir Angelov
2018-11-28add a few missing special tokens to the referenceKrasimir Angelov
2018-11-28Merge branch 'master' into new-websiteJohn J. Camilleri
2018-11-28Update LICENSEJohn J. Camilleri
2018-11-28remove the example-based folder. The code is still in the archiveKrasimir Angelov
2018-11-28Merge branch 'master' of https://github.com/GrammaticalFramework/gf-coreKrasimir Angelov
2018-11-28remove two obsolete optionsKrasimir Angelov
2018-11-28Remove Htmls.hsJohn J. Camilleri
2018-11-28remove gf-server.cabalJohn J. Camilleri