fixed erroneous grammar production for specs

svn: r5527
This commit is contained in:
Jacob Matthews 2007-02-01 02:45:27 +00:00
parent ba2c163558
commit 92535627a5

View File

@ -20,7 +20,7 @@ The structure of user PLaneT invocations is listed below.
PLANET-REQUEST ::= (planet FILE-NAME PKG-SPEC [PATH ...])
FILE-NAME ::= string
PKG-SPEC ::= string | (FILE-PATH ... PKG-NAME) | (FILE-PATH ... PKG-NAME VER-SPEC)
PKG-SPEC ::= (FILE-PATH ... PKG-NAME) | (FILE-PATH ... PKG-NAME VER-SPEC)
VER-SPEC ::= Nat | (Nat MINOR)
MINOR ::= Nat ; the specified revision or above
| (Nat Nat) ; a revision between the two specified numbers (inclusive)