Commit b8d1504c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use the cogs icon for execution.

parent 45bd8fc7
......@@ -72,10 +72,10 @@
<div class="why3-button-group">
<button id="why3-button-compile" class="why3-button" title="Verify">
<span class="fas fa-cogs"></span>
<span class="fas fa-check"></span>
<button id="why3-button-execute" class="why3-button" title="Execute">
<span class="fas fa-arrow-circle-right"></span>
<span class="fas fa-cogs"></span>
<button id="why3-button-stop" class="why3-button" title="Interrupt">
<span class="fas fa-ban"></span>
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