summaryrefslogtreecommitdiff
path: root/src/server
AgeCommit message (Expand)Author
2013-01-18Add fun/cat printnames to PGF web servicejohn.j.camilleri
2013-01-09Fixes for minibar offlinehallgren
2013-01-09PGF service: new command: downloadhallgren
2012-12-20PGFService.hs: code duplication reductionhallgren
2012-11-22PGFService.hs: fix type error caused by change to PGF.graphvizParseTreehallgren
2012-11-17PGF service: command=browse&format=json returns info on all cats and funshallgren
2012-09-30PGF service & minibar: put a limit on the number of parse treeshallgren
2012-04-02gf-server.cabal: mtl is needed to build pgf-server nowhallgren
2012-04-02PGFService.hs: add web API function "abstrjson"hallgren
2012-03-18PGF run-time library: function names in BracketedString (experimental)hallgren
2012-03-16PGFService.hs: command=browse can now produce output in JSON format.hallgren
2012-03-08PGFService.hs: add output format option to the commands abstrtree, parsetree ...hallgren
2012-03-05gf-server.cabal: always build the fastcgi module (pgf-server), lower version ...hallgren
2012-02-29PGFService.hs bug fix: pattern match failure in doParsehallgren
2012-02-23src/server/ContentService.hs: fix compilaton problemhallgren
2011-10-18pgf-http setup: update path to minibarhallgren
2011-10-18pgf service: include the start category in grammar infohallgren
2011-10-10More functionality in "gf -server" modehallgren
2011-08-25pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service reque...hallgren
2011-08-24pgf-service: apply the OpenMath LaTeX function only when linearizing to ahallgren
2011-08-23pgf-service: add Jordis transfer function for OpenMath LaTeX outputhallgren
2011-08-22pgf service: external service hook: always format the output as a JSON stringhallgren
2011-08-22pgf service: added a hook for external serviceshallgren
2011-06-21gf-server: make pgf-service work the Apache mod_fastcgihallgren
2011-06-21gf-server: enable -rtsopts when compiling with ghc>=7.0hallgren
2011-06-21gf-server.cabal: a separate flag for the content servicehallgren
2011-03-07the user can now upload their own grammars in the editorkrasimir
2011-01-09The name of the fastcgi executable has changed back to pgf-servicehallgren
2010-12-28The GF editor now lets the user to upload his/her own grammarskrasimir
2010-12-23gf-server.cabal: changes to stop cabal from demanding hsql even when content-...hallgren
2010-12-22PGF web service: make the generated index.html for pgf-http a bit more inform...hallgren
2010-12-22gf-server.cabal: update description of fastcgi flaghallgren
2010-12-22gf-server.cabal: make hsql-mysql optional like fastcgihallgren
2010-12-22gf-server.cabal: Change the default for the flag fastcgi to Falsehallgren
2010-12-22PGF web service: Use Content-Type text/javascript from JSON outputhallgren
2010-12-22tweak gf-server.cabalkrasimir
2010-12-17pgf-http now uses $datadir/www instead of ./www as the document roothallgren
2010-12-17RunHTTP.hs: remove hardcoded document roothallgren
2010-12-17Install minibar and some example grammars along with pgf-httphallgren
2010-11-26Split pgf-server into pgf-fcgi and pgf-http.hallgren
2010-11-25pgf-server: more useful JSON output from lineraizeAllhallgren
2010-11-24linearizeAll in PGFServiceaarne
2010-11-09Make PGFService.hs compile againhallgren
2010-10-13the PGF service now can do both random and exhaustive generation. these funct...krasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-30update PGFService to work after the extensions in the random generation APIkrasimir
2010-09-24pgf-server HTTP mode: omit charset from ContentType for static fileshallgren
2010-09-10pgf-server HTTP mode: support the Accept-Language headerhallgren
2010-09-03pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prev...hallgren