hallgren 41df4e00ff Some pgf-server API documentation

2010-11-09 21:02:07 +00:00

..

compiler

added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments

2010-10-31 13:39:01 +00:00

runtime

Some pgf-server API documentation

2010-11-09 21:02:07 +00:00

server

Make PGFService.hs compile again

2010-11-09 15:08:37 +00:00

tools

GF emacs mode

2010-08-19 11:36:24 +00:00

ui

fix the history management in the editor

2010-11-07 16:17:15 +00:00