This repository has been archived by the owner on Apr 30, 2019. It is now read-only.
/
embedded.html
112 lines (95 loc) · 3.37 KB
/
embedded.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
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>