Skip to content
Snippets Groups Projects
Commit 37703108 authored by Frédéric Tuong's avatar Frédéric Tuong
Browse files

document

parent 9174b177
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 5 deletions
README.md
+ 5
− 5
View file @ 37703108
......@@ -6,14 +6,14 @@ The code requires Isabelle2018, and the C examples loading can be executed as
follows:
```console
isabelle jedit C11-FrontEnd/examples/C1.thy
isabelle jedit C11-FrontEnd/examples/C2.thy
isabelle jedit C11-FrontEnd/examples/C3.thy
isabelle jedit -d C11-FrontEnd C11-FrontEnd/examples/C1.thy
isabelle jedit -d C11-FrontEnd C11-FrontEnd/examples/C2.thy
isabelle jedit -d C11-FrontEnd C11-FrontEnd/examples/C3.thy
```
```console
isabelle jedit -d l4v/src l4v/examples/TestSEL4.thy
isabelle jedit -d l4v/src l4v/examples/IsPrime_source.thy
isabelle jedit -d . l4v/examples/TestSEL4.thy
isabelle jedit -d . l4v/examples/IsPrime_source.thy
```
For the last examples, a sub-window ``Bad session structure`` will be opened,
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment