hallgren 096b4cfcee PGF service & minibar: only show dependency diagrams if the labels are known ...

+ The PGF service now reads and caches dependency label configuration files.
+ The grammar info returned by command=grammar has a new boolean field 
  'hasDependencyLabels' to indicate if dependency labels were found for
  the grammar. Also, command=deptree will now fail if no labels are present.
+ The minibar only shows word dependency trees if labels are present.
+ Also changed the type of getDepLabels from [String] -> Labels to
  String -> Labels, since all uses were in the form "getDepLabels . lines".

2016-06-09 13:12:14 +00:00

..

exec

PGFService: make the restriction on parallelism more effective

2015-02-25 16:08:21 +00:00

transfer

pgf-service: add Jordis transfer function for OpenMath LaTeX output

2011-08-23 16:25:00 +00:00

Cache.hs

gf -server: include grammar modification time in the info returned by /version

2015-04-17 13:21:20 +00:00

CGI.hs

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +00:00

CGIUtils.hs

PGF web service: switch to the new SVG rendering of word dependency trees

2016-06-08 19:10:23 +00:00

FastCGIUtils.hs

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +00:00

gf-server-jsapi.js

Added more functions to gf-server-jsapi.js

2008-12-05 19:08:58 +00:00

gf-server.cabal

PGFService: make the restriction on parallelism more effective

2015-02-25 16:08:21 +00:00

LICENSE

Added first version of the GF FastCGI server.

2008-08-14 09:06:26 +00:00

lighttpd.conf

The name of the fastcgi executable has changed back to pgf-service

2011-01-09 15:32:17 +00:00

PGFService.hs

PGF service & minibar: only show dependency diagrams if the labels are known

2016-06-09 13:12:14 +00:00

RunHTTP.hs

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +00:00

ServeStaticFile.hs

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +00:00

Setup.hs

src/server: refactoring to isolate dependencies on the cgi/fastcgi packages

2014-09-02 12:27:47 +00:00

simple-client.html

Update src/server/simple-client.html and gf-server-jsapi.js to work with current pgf server.

2008-12-05 19:00:20 +00:00

translator.css

Update gf-client.html with new gf.fcgi output types.

2008-09-12 11:14:02 +00:00

translator.js

Update gf-client.html with new gf.fcgi output types.

2008-09-12 11:14:02 +00:00

URLEncoding.hs

Fix UTF-8 decoding problem in gf -server

2013-06-13 08:23:48 +00:00