diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-08 11:25:15 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-08 11:25:15 +0000 |
| commit | 0722f6f44423dfa288ab49895eb32b3b5f1103e9 (patch) | |
| tree | b22dc478603c884d45b0d7b2fde13474e39e136f /examples/tutorial/hello | |
| parent | ed5de8335bb1d984918702abff70aadc4d554539 (diff) | |
PGFService.hs: add output format option to the commands abstrtree, parsetree and alignment
Supported output formats: gv, png, svg.
Diffstat (limited to 'examples/tutorial/hello')
0 files changed, 0 insertions, 0 deletions