summaryrefslogtreecommitdiff
path: root/doc/gf-bibliography.html
AgeCommit message (Collapse)Author
2018-06-12Remove HTML files from VC which should be generated from txt2tagsJohn J. Camilleri
If these pages disappear from the web via www.grammaticalframework.org then this commit may need to be reversed
2012-11-27Convert some documentation to UTF-8hallgren
Using %!encoding:utf-8 in txt2tags files ensures that the generated HTML includes an appropriate charset declaration. This way we avoid relying on browser defaults, which can be wrong.
2012-09-28Make the GF web site more mobile friendlyhallgren
Most of the pages on the GF web site have an exemplary simple design, with just one column of text. This make them adapt exceptionally well to screens of different sizes. In particular, they should be easy to read even on smartphones. However, smartphone browsers like Mobile Safari and the default Android Browser assume that pages do *not* adapt well to small screens, so by default they emulate a big screen, forcing the user to zoom in to a part of the page to be able to read it. By adding the meta tag <meta name = "viewport" content = "width = device-width"> the big screen emulation can be turned off, allowing pages to be formatted to fit the actual screen size and text to be displayed at a readable size.
2012-02-13Recording changes in automatically generated HTML files on the serverhallgren
2011-11-29Also recording gf-bibliography.html...hallgren
...although I think in general it is a bad idea to keep automatically generated files in the source repository.
2011-10-03gf-bibliography.html with Thomas' corrected linksaarne
2011-10-03updated gf-biblio with cse instead of csaarne
2011-10-03corrected links in gf-bibliohallgren
2009-12-15completed gf-bibliographyaarne
2009-06-24updated bibliographyaarne
2008-08-23updated gf-bibliographyaarne
2007-06-10README for regulusaarne
2007-05-04ref to Bj?rn's paperaarne
2007-05-04Ali's new paper added to refs.aarne
2007-05-04gf-bibliography extended and converted to txt sourceaarne
2007-02-13catalan resourceaarne
2007-01-19bibliography entries in docaarne
2005-12-01updating documentationaarne
2005-05-17index and bibaarne