Skip to content
Snippets Groups Projects
Commit 1d42afe8 authored by David Bühler's avatar David Bühler
Browse files

Fixes the page of the Studia plugin.

parent 71643324
No related branches found
No related tags found
1 merge request!8Fixes plugin pages of Eva, Mthread and Studia
Pipeline #23438 passed
......@@ -18,7 +18,7 @@ key: browsing
<dt class="subTitle">Quick Start</dt>
<dd>
<p><code>$ frama-c-gui -val studia.c</code></p>
<p><code>$ frama-c-gui -eva studia.c</code></p>
<p>Right-click on an expression in the code and choose the <strong>Studia</strong> context menu to access its
features.</p><img class="size-full wp-image-640" src="/assets/img/plugins/studia-img.png" alt="" width="630" height="189"
......@@ -64,4 +64,4 @@ key: browsing
<dd>
<p>Automatically enabled after running EVA and opening the GUI.</p>
</dd>
</dl>
\ No newline at end of file
</dl>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment