source: src/dgp/cmdline_dgp.ggo @ 854bece

Last change on this file since 854bece was a15e59b, checked in by Tomasz Obrebski <to@…>, 13 years ago

dodana opcja --time w dgp, poprawione przesy�anie b�belk�w, obsluga &LEFT, &RIGHT

  • Property mode set to 100644
File size: 409 bytes
RevLine 
[5f4d9c3]1package "dgp"
2version "0.1"
3
4option  "grammar"       g       "Grammar file"
5                                string no typestr="filename"
6
7option  "long"          l       "Long output"
8                                flag off
9
10option  "debug"         d       "Debug mode."
11                                flag off
12
[a15e59b]13option  "time"          -       "Print parse time."
14                                flag off
15
[5f4d9c3]16option  "info"          -       "Print info.
[a15e59b]17                                       h - heads         d - dependents
18                                       s - sets
19                                       c - constraints    n - node/arc counts"
[5f4d9c3]20string no default="h"
Note: See TracBrowser for help on using the repository browser.