Last change
on this file since 519eaf5 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
|
Line | |
---|
1 | package "dgp" |
---|
2 | version "0.1" |
---|
3 | |
---|
4 | option "grammar" g "Grammar file" |
---|
5 | string no typestr="filename" |
---|
6 | |
---|
7 | option "long" l "Long output" |
---|
8 | flag off |
---|
9 | |
---|
10 | option "debug" d "Debug mode." |
---|
11 | flag off |
---|
12 | |
---|
13 | option "time" - "Print parse time." |
---|
14 | flag off |
---|
15 | |
---|
16 | option "info" - "Print info. |
---|
17 | h - heads d - dependents |
---|
18 | s - sets |
---|
19 | c - constraints n - node/arc counts" |
---|
20 | string no default="h" |
---|
Note: See
TracBrowser
for help on using the repository browser.