diff options
Diffstat (limited to 'bp.1.md')
| -rw-r--r-- | bp.1.md | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -280,6 +280,11 @@ contain the word **"IGNORE"**) *name*`:` *pat* : Define *name* to mean *pat* (pattern definition) +*name*`::` *pat* +: Define *name* to be a special tagged pattern *pat*. This is the same as a +regular definition, except that a piece of metadata is attached to it +associating it with the specified name. + `#` *comment* : A line comment |
