summaryrefslogtreecommitdiff
path: root/www/htdocs/bnf.txt
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2017-01-21 16:39:54 +0100
committerGard Spreemann <gspreemann@gmail.com>2017-01-21 16:39:54 +0100
commit4224971e4aa66fa59045c425d4ae4568d5f06d0c (patch)
tree93daa769f29e63e264ee9a7f76c825b46b433f73 /www/htdocs/bnf.txt
parent3e131dd390d67a0dfc161b460ca4b96c7e516618 (diff)
Clean out upstream www stuff and Xcode files.dfsg/latest
Diffstat (limited to 'www/htdocs/bnf.txt')
-rw-r--r--www/htdocs/bnf.txt31
1 files changed, 0 insertions, 31 deletions
diff --git a/www/htdocs/bnf.txt b/www/htdocs/bnf.txt
deleted file mode 100644
index e5be059..0000000
--- a/www/htdocs/bnf.txt
+++ /dev/null
@@ -1,31 +0,0 @@
-<tikzpicture> ::= "\begin{tikzpicture}" <properties>?
- <expression>*
- "\end{tikzpicture}"
-
-<expression> ::= <ignore> | <node> | <edge> | <bounding box>
-
-<ignore> ::= "\begin{pgfonlayer}" DELIMITED_STRING |
- "\end{pgfonlayer}"
-
-<properties> ::= "[" <property> ("," <property>)* "]"
-
-<property> ::= <symbol>* "=" <value> | <symbol>*
-
-<symbol> ::= WORD | number
-
-<value> ::= <symbol>* | QUOTED_STRING
-
-<node> ::= "\node" <properties>? <node name>
- "at" <coords> DELIMITED_STRING ";"
-
-<node name> ::= "(" (NATURAL_NUMBER | WORD) (".center")? ")"
-
-<coords> ::= "(" NUMBER "," NUMBER ")"
-
-<edge> ::= "\draw" <properties>? <node name>
- "to" <edge node>? (<node name> | "()") ";"
-
-<edge node> ::= "node" <properties>? DELIMITED_STRING
-
-<bounding box> ::= "\path" "[use as bounding box]" <coords>
- "rectangle" <coords> ";"