hallgren 3e2f768072 pgf service: added a hook for external services ...

This is really reinventing CGI, people should learn how to write CGI scripts
instead...
TODO: better handling of temporary files

2011-08-22 15:34:44 +00:00

..

compiler

GenIP, GenRP in Extra and any_Quant in ExtraEng

2011-07-21 08:25:04 +00:00

editor/simple

gfse: fix an issue with Webkit browers

2011-08-17 15:41:57 +00:00

runtime

minibar: documentation fixes

2011-08-21 21:35:14 +00:00

server

pgf service: added a hook for external services

2011-08-22 15:34:44 +00:00

tools

two examples of the .gfm format

2010-11-30 14:54:03 +00:00

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00