index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
server
Age
Commit message (
Expand
)
Author
2012-11-17
PGF service: command=browse&format=json returns info on all cats and funs
hallgren
2012-09-30
PGF service & minibar: put a limit on the number of parse trees
hallgren
2012-04-02
gf-server.cabal: mtl is needed to build pgf-server now
hallgren
2012-04-02
PGFService.hs: add web API function "abstrjson"
hallgren
2012-03-18
PGF run-time library: function names in BracketedString (experimental)
hallgren
2012-03-16
PGFService.hs: command=browse can now produce output in JSON format.
hallgren
2012-03-08
PGFService.hs: add output format option to the commands abstrtree, parsetree ...
hallgren
2012-03-05
gf-server.cabal: always build the fastcgi module (pgf-server), lower version ...
hallgren
2012-02-29
PGFService.hs bug fix: pattern match failure in doParse
hallgren
2012-02-23
src/server/ContentService.hs: fix compilaton problem
hallgren
2011-10-18
pgf-http setup: update path to minibar
hallgren
2011-10-18
pgf service: include the start category in grammar info
hallgren
2011-10-10
More functionality in "gf -server" mode
hallgren
2011-08-25
pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service reque...
hallgren
2011-08-24
pgf-service: apply the OpenMath LaTeX function only when linearizing to a
hallgren
2011-08-23
pgf-service: add Jordis transfer function for OpenMath LaTeX output
hallgren
2011-08-22
pgf service: external service hook: always format the output as a JSON string
hallgren
2011-08-22
pgf service: added a hook for external services
hallgren
2011-06-21
gf-server: make pgf-service work the Apache mod_fastcgi
hallgren
2011-06-21
gf-server: enable -rtsopts when compiling with ghc>=7.0
hallgren
2011-06-21
gf-server.cabal: a separate flag for the content service
hallgren
2011-03-07
the user can now upload their own grammars in the editor
krasimir
2011-01-09
The name of the fastcgi executable has changed back to pgf-service
hallgren
2010-12-28
The GF editor now lets the user to upload his/her own grammars
krasimir
2010-12-23
gf-server.cabal: changes to stop cabal from demanding hsql even when content-...
hallgren
2010-12-22
PGF web service: make the generated index.html for pgf-http a bit more inform...
hallgren
2010-12-22
gf-server.cabal: update description of fastcgi flag
hallgren
2010-12-22
gf-server.cabal: make hsql-mysql optional like fastcgi
hallgren
2010-12-22
gf-server.cabal: Change the default for the flag fastcgi to False
hallgren
2010-12-22
PGF web service: Use Content-Type text/javascript from JSON output
hallgren
2010-12-22
tweak gf-server.cabal
krasimir
2010-12-17
pgf-http now uses $datadir/www instead of ./www as the document root
hallgren
2010-12-17
RunHTTP.hs: remove hardcoded document root
hallgren
2010-12-17
Install minibar and some example grammars along with pgf-http
hallgren
2010-11-26
Split pgf-server into pgf-fcgi and pgf-http.
hallgren
2010-11-25
pgf-server: more useful JSON output from lineraizeAll
hallgren
2010-11-24
linearizeAll in PGFService
aarne
2010-11-09
Make PGFService.hs compile again
hallgren
2010-10-13
the PGF service now can do both random and exhaustive generation. these funct...
krasimir
2010-10-11
the exhaustive/random generator now knows how to handle computable functions ...
krasimir
2010-10-02
refactor the API for random generation again. Now PGF contains probabilities ...
krasimir
2010-09-30
update PGFService to work after the extensions in the random generation API
krasimir
2010-09-24
pgf-server HTTP mode: omit charset from ContentType for static files
hallgren
2010-09-10
pgf-server HTTP mode: support the Accept-Language header
hallgren
2010-09-03
pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prev...
hallgren
2010-09-02
pgf-server HTTP mode feature: return the contents of index.html when the URL ...
hallgren
2010-09-02
Bug fix: add missing error handler for statically served files in pgf-server ...
hallgren
2010-09-01
Standalone HTTP version of pgf-server
hallgren
2010-08-09
native representation for HOAS in PMCFG and incremental type checking of the ...
krasimir
2010-08-24
more advanced complete function in the PGFService
krasimir
[next]