Changes

Page history
Update Syntax der Eingabe authored by Edward Sabinus's avatar Edward Sabinus
Hide whitespace changes
Inline Side-by-side
Syntax-der-Eingabe.md
View page @ ac586954
...@@ -62,7 +62,7 @@ Proof ::= <lemma>* <mainProof> <lemma>* ...@@ -62,7 +62,7 @@ Proof ::= <lemma>* <mainProof> <lemma>*
<result_tree> ::= <tree> <result_tree> ::= <tree>
``` ```
4. Syntax der Konfigurationsdatei: 4. Konfigurationsdatei:
``` ```
(’Round’ <WhiteSpace> <Integer> ’\n’)? (’Round’ <WhiteSpace> <Integer> ’\n’)?
(<i> <WhiteSpace> <Double> ’\n’)* (<i> <WhiteSpace> <Double> ’\n’)*
... ...
......