summaryrefslogtreecommitdiff
path: root/src/server/PGFService.hs
AgeCommit message (Expand)Author
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
2010-05-28disambiguation in Phrasebook: show Eng instead of AST if DisambL is missing; ...aarne
2010-04-30for backward compatibility we have the old parse function again. the old func...krasimir
2010-04-30fix PGFService after the change in the APIkrasimir
2010-04-22now the PGF service communicates with Graphviz using UTF8 for the input and b...krasimir
2010-04-04in PGFService disambiguation, show tree if there's no disamb grammaraarne
2010-03-30simplified the treatment of politeness in Phrasebookaarne
2010-03-30disambiguation in Phrasebook grammars, PGF server, and the GUIaarne
2010-03-28catching initial bind symbol in PGFServeraarne
2010-03-26text-like unlexer for phrasebook web serviceaarne
2010-03-26fixes for webdemos, including bug in StructuralItaaarne
2010-03-22www api command translategroup, which uses groupResultsaarne
2010-03-04Quick fix to adapt to new version of the PGF library.hallgren
2009-11-29TranslateApp now have browser for abstract syntaxkrasimir
2009-11-26function doListGrammars in PGFService is obsoletekrasimir
2009-11-26the default function of the PGFService should return list of functions as wel...krasimir
2009-11-26change PGF.categories to return list of identifiers instead of typeskrasimir
2009-10-24added tree visualizations in TranslateAppkrasimir
2009-10-15make the GF server to compile after that changes in the PGF runtimekrasimir