-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
87 lines (78 loc) · 4.2 KB
/
index.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="apple-mobile-web-app-capable" content="yes">
<meta name="mobile-web-app-capable" content="yes">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<title>NatDud</title>
<!-- Bootstrap (https://github.com/twbs/bootstrap) -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<!-- Custom NatDud CSS -->
<link href="css/NatDud.css" rel="stylesheet">
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
<!-- jQuery UI (used for animation and manipulation of UI) -->
<script src="https://code.jquery.com/ui/1.9.1/jquery-ui.js" type="text/javascript"></script>
<!-- Different favicon platforms -->
<link rel="apple-touch-icon" sizes="57x57" href="image/apple-icon-57x57.png">
<link rel="apple-touch-icon" sizes="60x60" href="image/apple-icon-60x60.png">
<link rel="apple-touch-icon" sizes="72x72" href="image/apple-icon-72x72.png">
<link rel="apple-touch-icon" sizes="76x76" href="image/apple-icon-76x76.png">
<link rel="apple-touch-icon" sizes="114x114" href="image/apple-icon-114x114.png">
<link rel="apple-touch-icon" sizes="120x120" href="image/apple-icon-120x120.png">
<link rel="apple-touch-icon" sizes="144x144" href="image/apple-icon-144x144.png">
<link rel="apple-touch-icon" sizes="152x152" href="image/apple-icon-152x152.png">
<link rel="apple-touch-icon" sizes="180x180" href="image/apple-icon-180x180.png">
<link rel="icon" type="image/png" sizes="192x192" href="image/android-icon-192x192.png">
<link rel="icon" type="image/png" sizes="32x32" href="image/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="96x96" href="image/favicon-96x96.png">
<link rel="icon" type="image/png" sizes="16x16" href="image/favicon-16x16.png">
<link rel="manifest" href="image/manifest.json">
<meta name="msapplication-TileColor" content="#ffffff">
<meta name="msapplication-TileImage" content="image/ms-icon-144x144.png">
<meta name="theme-color" content="#ffffff">
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="js/bootstrap.min.js"></script>
<script>$(document).ready(function(){$('#main-content').fadeIn("slow");});</script>
</head>
<body>
<div id="main-content">
<div class="title-area" id="title-area">
</div>
<div class="formulaproof" id="formulaproof">
<label class="error-message" id="error-message" style="margin-bottom:margin-left: 1rem; color:#bb0000"></label>
<div class="formula-input-area" id="formula-input-area">
<input type="text" id="formula" class="form-control form-rounded input-lg" title="imply(>) and(&) or(|) not(~) falsum(f)" placeholder="Logic Formula (use F for falsum)">
</div>
<div class="logic-button-area" id="logic-button-area">
<button class="btn btn-info" id="logic-and"><span class="glyphicon glyphicon-chevron-up"></span></button>
<button class="btn btn-info" id="logic-or"><span class="glyphicon glyphicon-chevron-down"></span></button>
<button class="btn btn-info" id="logic-imply"><span class="glyphicon glyphicon-arrow-right"></span></button>
<button class="btn btn-info" id="logic-not"><span class="glyphicon glyphicon-ok gly-rotate-tick-not"></span></button>
<button class="btn btn-info" id="logic-falsum"><span class="falsum-font">⟘</span></button>
</div>
<div class="submit-button-area" id="submit-button-area">
<button class="btn btn-success" id="logic-submit"><span class="glyphicon glyphicon-ok"></span></button>
</div>
</div>
<div class="proof-input-area" id="proof-input-area">
<div class="proof-area" id="proof-area">
</div>
<div class="proof-buttons" id="proof-buttons">
</div>
</div>
<div class="" id="feedback-area">
<p id="feedback-string"></p>
</div>
<div class="text-block-area">
<h1>NatDud</h1>
<p>a natural deduction checking app</p>
</div>
</div>
<!-- Custom Scripts -->
<script src="js/proofEngine.js"></script>
</body>
</html>