summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2018-11-28remove custom-binary flag; update Cabal version restriction; bump version to ...John J. Camilleri
2018-11-27Make refman look up-to-date ishJohn J. Camilleri
2018-11-27Remove faq. Update people page. Add SS to news.John J. Camilleri
2018-11-27Various fixes & cleanup in doc/ folderJohn J. Camilleri
2018-11-27Work on new download page. Change 18-12 to 4.0.0John J. Camilleri
2018-11-27Check all historic download and release pagesJohn J. Camilleri
2018-11-27Minors to homepageJohn J. Camilleri
2018-11-27expose PGF and Concr for FFIKrasimir Angelov
2018-11-15Remove `src/ui` folder, moved to:John J. Camilleri
2018-11-13Link to new synopsis pageJohn J. Camilleri
2018-11-09Remove unnecessary CSS from templateJohn J. Camilleri
2018-11-09Add 3 top buttons, responsive columnsJohn J. Camilleri
2018-11-08GF logo links to home; remove "other demos"John J. Camilleri
2018-11-08Add download/index.md as demo of working Markdown rendering to HTMLJohn J. Camilleri
2018-11-07Move unused `pgf-binary` into its own repository, at:John J. Camilleri
2018-11-07Clean up stack fileJohn J. Camilleri
2018-11-06Revert CSS change that produces overlapping text instead of responsive layoutThomas Hallgren