Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Minor changes

  • Loading branch information...
commit 9bd3bf9b98eaffbe8e0d949448003fffa371b40b 1 parent 3941028
Nicholas Grigoropoulos authored
View
5 ...jmlspecs.jml4.esc.distribution.http.prover/WebContent/WEB-INF/config-workbench/Layout.jsp
@@ -10,7 +10,7 @@
<style>
body { border: 0; background: #eee; }
#header { width: 100%; overflow-y: hidden; padding: 0px;height: 40px; }
-#menu { width: 800px; float: left; font-family: sans-serif; }
+#menu { width: 800px; float: left; font-family: sans-serif; padding-bottom: 10px; }
#menu ul { list-style: none; padding: 0; margin: 0; float: left; }
#menu li { float: left; display: block; }
#menu a { display: block; padding: 20px; float: left; }
@@ -23,8 +23,7 @@ body { border: 0; background: #eee; }
<div id='menu'>
<ul>
<li><a href='index.jsp' title=''>JML4 Disco - Server Config</a></li>
- <li><a href='AddServers' title=''>Add Servers</a></li>
- <li><a href='RemoveServers' title=''>Remove Servers</a></li>
+ <li><a href='SetNumberOfProverProcesses' >Configure Prover Processes</a></li>
</ul>
</div>
</div>
View
6 ...bution.http.prover/WebContent/WEB-INF/config-workbench/SetNumberOfProverProcesses.get.jsp
@@ -1,6 +1,10 @@
<%@ page language="java" contentType="text/html; charset=UTF-8"
pageEncoding="UTF-8"%>
-This page will allow you to choose how many concurrent prover processes there should be for various provers:
+<p>
+This page allows you to change how many concurrent prover processes there should be for various provers. <br>
+For any prover that you wish to change, please fill the appropriate field with the number of processes you <br>
+desire (an integer) and click submit.
+</p>
<table>
View
7 ...cs.jml4.esc.distribution.http.prover/WebContent/WEB-INF/config-workbench/public/index.jsp
@@ -1,3 +1,8 @@
<%@ page language="java" contentType="text/html; charset=UTF-8"
pageEncoding="UTF-8"%>
-Welcome to the configuration workbench!
+<p>
+Welcome to the Distributed Program Verification Prover Configuration workbench.<br>
+From this workbench you can configure the behavior of the Prover Servers.<br>
+(For the moment this consists only of specifying the number of parallel processes
+spawned for each prover for all the servers).
+</p>
Please sign in to comment.
Something went wrong with that request. Please try again.