Commit 305671df authored by Maxime Folschette's avatar Maxime Folschette
Browse files

translate all comments and text in English

parent e41043cb
......@@ -35,7 +35,7 @@ Usage:
Model and processes specification:
For the moment, the model has to be “hard-coded” in this file under the
section “Network Description”.
section “BRN Description”.
The processes (computation of the weakest precondition, simplifying, etc.)
also have to be written at the end of this file in the “Sandbox” sections.
An example is already implemented (some applications on a toy example from the
This diff is collapsed.
Supports Markdown
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