Commit 63d52115 authored by Michael Banken's avatar Michael Banken

fixed minor stuff in integration

parent bad25016
......@@ -116,15 +116,16 @@ The functionality of the buttons remains the same as in the case above.
As mentioned above the method toXML serves to transcribe the suggested changes into a human readable form.
The output is an xml subset generated by the following grammar.
The output is an xml subset generated by the following grammar, starting with the token SUGGESTIONS.
\pagebreak
\begin{lstlisting}
SUGGESTIONS ::= THEORY_SUGGESTIONS
THEORY_SUGGESTIONS ::= <theory MPath = MPATH> SUGGESTIONSBODY </theory>
SUGGESTIONSBODY ::= REMOVE
\| REPLACE
| REPLACE
REMOVE ::= <removeInclusion MPath = MPATH>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment