summaryrefslogtreecommitdiff
path: root/src/compiler/GFServer.hs
AgeCommit message (Expand)Author
2012-11-23gf -server + gfse: show modification time of public grammarshallgren
2012-11-14Add flag --document-root for user with gf --serverhallgren
2012-11-08Eliminate warnings about deprecated use of catch and tryhallgren
2012-11-06gf -server: make it possible to pass arbitrary flags/options to gf when compi...hallgren
2012-10-23gf -server: introduce command=remake for recompiling previously uploaded gram...hallgren
2012-09-26gf -server: add a GF version info requesthallgren
2012-09-25Use the SIO monad in the GF shellhallgren
2012-09-22GFServer.hs: code improvementshallgren
2012-09-21gf -server: also restrict the paths of uploaded fileshallgren
2012-09-21gf -server: improved security checkshallgren
2012-08-01GFServer.hs: binary files can now be uploaded to the cloudhallgren
2012-06-12translator: documents can now be saved in the cloudhallgren
2012-05-28GFServer.hs: apply UTF8 encoding when saving uploaded fileshallgren
2012-05-27gf -server: remove debug outputhallgren
2012-05-16GFServer.hs: apply UTF8 decoding to all server inputhallgren
2012-02-29PGFService.hs bug fix: pattern match failure in doParsehallgren
2012-02-28gf -server mode: JSONP support for grammar listshallgren
2012-02-24gfse: text mode editing: accept grammars with printname judgementshallgren
2012-02-21gfse: edit abstract syntax in text mode with instant syntax error reportinghallgren
2012-02-13gfse: added a button to go directly from the editor to the minibarhallgren
2012-02-10gfse: stay on the same page when compiling grammarshallgren
2012-02-10gfse&minibar: select the right grammar in minibar when invoked from gfsehallgren
2012-02-01gf -server: better error message for requests with unsupported HTTP methodshallgren
2012-02-01gf -server: fix bug that caused '+' to be converted to ' ' in uploaded grammarshallgren
2011-12-14gf -server[=port]hallgren
2011-12-14gf -server mode improvementshallgren
2011-11-01gfse: grammar sharing: bug fixes and win32 supporthallgren
2011-10-12Show version & configuration info when gf -server startshallgren
2011-10-12Bug fixes for gf -server mode and setuphallgren
2011-10-12Improvements of "gf -server" mode and related setuphallgren
2011-10-11More work on support for gfse in "gf -server" modehallgren
2011-10-10Add cloud services needed by gfse to "gf -server" modehallgren
2011-10-10More functionality in "gf -server" modehallgren
2011-04-13Added a preliminary "gf -server" mode.hallgren