diff options
| author | Prashanth Mundkur | 2018-04-19 09:46:22 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-19 09:47:22 -0700 |
| commit | 3255724a33ec643bd98a7fbc13cf0624aab7ead3 (patch) | |
| tree | 3f9edfa4b90e44dea3a014904cd495652723727b /lib | |
| parent | 8311fbf9c5c502b3d2598f2415ba664505a67e0b (diff) | |
Fix minor typo.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/manual/Manual.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/isabelle/manual/Manual.thy b/lib/isabelle/manual/Manual.thy index 760c1f7b..5286b754 100644 --- a/lib/isabelle/manual/Manual.thy +++ b/lib/isabelle/manual/Manual.thy @@ -59,7 +59,7 @@ This uses the following options: Isabelle definitions can then be generated by passing the @{verbatim "-isa"} flag to Lem. In order for Lem to find the Sail library, the subdirectories @{path "src/gen_lib"} and -and @{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the +@{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the @{verbatim "-lib"} option, e.g. @{verbatim [display] |