Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
1/5/2010
inference rule cannot have dependents
The colon (:) in an inference rule must be followed by one of these:
- Newline character
- Semicolon (;), which can be followed by a command
- Number sign (#), which can be followed by a comment