summaryrefslogtreecommitdiff
path: root/src/server/PGFService.hs
AgeCommit message (Expand)Author
2014-02-11Work on web api & apps based on the C run-time systemhallgren
2014-02-10Fix broken C runtime support in gf.cabal and PGFService.hshallgren
2014-01-27PGFService.hs: fix a type ambiguity when compiling without C run-time supporthallgren
2014-01-27PGFService.hs: add a cache for C run-time parse result and a start offset par...hallgren
2014-01-20Optionally include C run-time supporthallgren
2013-10-30linref is now used by the linearizer. The visible change is that the 'l' comm...kr.angelov
2013-10-24Functions merge trees into tries in the GF Shell and the PGF web servicehallgren
2013-04-24PGF service: apply the token binding operator &+ to all linearizationshallgren
2013-03-28PGF web API: command=abstrtree not supports the nocat and nofun optionshallgren
2013-03-27PGF web API: add comand linearizeTablehallgren
2013-03-26PGF service: support all parse tree visualziation options in the web APIhallgren
2013-03-13PGF web API: add 'to' parameter to the 'alignment' commandhallgren
2013-03-13PGF web API: generalize the 'to' parameter to accept a list of languageshallgren
2013-03-09ghc-7.6: fix src/server/PGFService.hs (use catch from base-4 Control.Exception)Sergei Trofimovich
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-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-02-29PGFService.hs bug fix: pattern match failure in doParsehallgren
2011-10-18pgf service: include the start category in grammar infohallgren
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-03-07the user can now upload their own grammars in the editorkrasimir
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-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-02Bug fix: add missing error handler for statically served files in pgf-server ...hallgren
2010-09-01Standalone HTTP version of pgf-serverhallgren
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-07-31bugfix in the PGF browserkrasimir
2010-07-31the PGF service now generates samples of the syntax in the browsing informationkrasimir
2010-07-31fix: PGFService should type-check the trees that comes from the userkrasimir
2010-07-13detailed information for the type errors from PGFServicekrasimir
2010-07-08FridgeApp and TranslateApp now show the type errorskrasimir
2010-07-07fix PGFService after the change in the parser APIkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-23 17:47:29 +0000