This repository has been archived by the owner on Apr 30, 2019. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
fe6c7ea
commit 86b7580
Showing
2 changed files
with
118 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -57,3 +57,9 @@ sup, sub { | |
| width="350px" | ||
| } | ||
|
|
||
| .version { | ||
| font-size: 10px; | ||
| line-height: 11px; | ||
| margin-left: 20px; | ||
| } | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,112 @@ | ||
|
|
||
|
|
||
| <!DOCTYPE html> | ||
| <!--[if lt IE 7 ]><html class="ie ie6" lang="en"> <![endif]--> | ||
| <!--[if IE 7 ]><html class="ie ie7" lang="en"> <![endif]--> | ||
| <!--[if IE 8 ]><html class="ie ie8" lang="en"> <![endif]--> | ||
| <!--[if (gte IE 9)|!(IE)]><!--> | ||
| <html lang="en"> | ||
| <!--<![endif]--> | ||
| <head> | ||
| <!-- Basic Page Needs | ||
| ================================================== --> | ||
| <meta charset="utf-8"> | ||
| <title>ProB Logic calculator</title> | ||
| <meta name="description" content=""> | ||
| <meta name="author" content="Jens Bendisposto"> | ||
|
|
||
| <!-- Mobile Specific Metas | ||
| ================================================== --> | ||
| <meta name="viewport" | ||
| content="width=device-width, initial-scale=1, maximum-scale=1"> | ||
|
|
||
| <!-- CSS | ||
| ================================================== --> | ||
| <link rel="stylesheet" | ||
| href="css/plain-base.css"> | ||
| <link rel="stylesheet" | ||
| href="css/plain-skeleton.css"> | ||
| <link rel="stylesheet" | ||
| href="css/layout.css"> | ||
| <link rel="stylesheet" | ||
| href="css/plain-evalb.css"> | ||
| <link rel="stylesheet" | ||
| href="css/plain-codemirror.css"> | ||
| <link rel="stylesheet" | ||
| href="css/themes/red.css"> | ||
| <link rel="stylesheet" | ||
| href="css/themes/green.css"> | ||
|
|
||
| <script type="text/x-mathjax-config"> | ||
| MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}}); | ||
| </script> | ||
|
|
||
| <!--[if lt IE 9]> | ||
| <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> | ||
| <![endif]--> | ||
|
|
||
| <!-- Favicons | ||
| ================================================== --> | ||
| <link rel="shortcut icon" href="images/favicon.ico"> | ||
| <link rel="apple-touch-icon" href="images/apple-touch-icon.png"> | ||
| <link rel="apple-touch-icon" sizes="72x72" | ||
| href="images/apple-touch-icon-72x72.png"> | ||
| <link rel="apple-touch-icon" sizes="114x114" | ||
| href="images/apple-touch-icon-114x114.png"> | ||
| </head> | ||
| <body onLoad="initialize()"> | ||
|
|
||
| <!-- Primary Page Layout | ||
| ================================================== --> | ||
|
|
||
| <!-- Delete everything in this .container and get started on your own site! --> | ||
|
|
||
| <div class="container"> | ||
| <div class="two-thirds column"> | ||
| <textarea name="input" id="input" rows="15" | ||
| onkeyup="probeval()"></textarea> | ||
| <div class="version">probcli version <span id="versionnumber"></span></div> | ||
| </div> | ||
| <div class="one-third column omega" style="vertical-align: text-top;"> | ||
| <h3>Formalism</h3> | ||
| <select size="1" id="formalism" name="formalism" | ||
| class="styled-select" onchange="switch_formalism()"> | ||
| <option value="b" selected="selected">B Method</option> | ||
| <option value="tla">TLA+</option> | ||
| </select> | ||
| <h3>Examples</h3> | ||
| <select size="1" id="examples" name="examples" class="styled-select" | ||
| onchange="load_example()"> | ||
| <option value="" selected="selected" ></option> | ||
| </select> | ||
| </div> | ||
|
|
||
| <div class="two-thirds column"> | ||
| <textarea name="output" id="output" cols="80" rows="5"></textarea> | ||
| </div> | ||
|
|
||
|
|
||
| </div> | ||
| <!-- container --> | ||
|
|
||
| <!-- JS | ||
| ================================================== --> | ||
| <!-- <script src="http://code.jquery.com/jquery-1.7.1.min.js"></script> --> | ||
|
|
||
| <script | ||
| src="js/jquery-1.7.2.min.js"></script> | ||
| <script src="js/tabs.js"></script> | ||
| <script | ||
| src="js/codemirror.js"></script> | ||
| <script src="js/hover.js"></script> | ||
| <script | ||
| src="js/examples.js"></script> | ||
| <script src="js/prob.js"></script> | ||
| <script type="text/javascript" | ||
| src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> | ||
|
|
||
|
|
||
| <!-- End Document | ||
| ================================================== --> | ||
| </body> | ||
| </html> |