Commit fb531145 authored by Alexander Weigl's avatar Alexander Weigl

better index

parent 93bd3ef3
Pipeline #17002 passed with stages
in 8 minutes and 45 seconds
......@@ -11,7 +11,8 @@
float: left;
width: 33%;
width: 30%;
text-align: left;
......@@ -21,10 +22,20 @@
img.thumb {
.column h3 {
div.feature-caption {
text-align: block;
text-align: justify;
font-size: 80%;
# Proof Script Debugger for the KeY System
......@@ -79,20 +90,23 @@ is published at [HVC 2017](hvc2017.pdf)
<div >
<h3>Adjustable view on list of open goals</h3>
<img class="thumb" src="img/thumb_ScreenshotGoalList.png" />
<div class="feature-caption"/></div>
<div >
<h3>Explore the proof tree of KeY</h3>
<img class="thumb" src="img/thumb_ScreenshotProofTree.png"/>
<div class="feature-caption"/></div>
<div style="clear: both;"/>
<div class="column">
<div >
<div class="column">
<h3>Set a breakpoint and run execution to breakpoint</h3>
<img src="img/thumb_ScreenshotBreakpoint.png" class="thumb"/>
<div class="feature-caption">
Mark lines with an (conditional) breakpoint to pause the script execution.
<h3>Stepwise evaluation for time travellers</h3>
......@@ -114,13 +128,17 @@ is published at [HVC 2017](hvc2017.pdf)
<div style="clear: both;"/>
<h2>Getting Started</h2>
## Downloads
* PSDBG - **Version 1.0-FM** [JAR](~/releases/psdbg-1.0-fm.jar)
Special Version for Formal Methods
<li>PSDBG - <strong>Version 1.0-FM</strong>
<a href="~/releases/psdbg-1.0-fm.jar">psdbg-1.0-fm.jar</a>
Special Version for the tool paper at Formal Methods 2018.
<div style="clear: both;"/>
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