Skip to content

Commit 03b9c3e

Browse files
bobatkeybobatkey
committed
[ pages code ] Standalone prover widget and minor fixes
1 parent 2cdd4dc commit 03b9c3e

12 files changed

+624
-24
lines changed

‎frontend/dune

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(executable
22
(name frontend)
33
(modes js)
4-
(libraries ulmus slakemoth_widget widgets natural_deduction))
4+
(libraries ulmus slakemoth_widget widgets natural_deduction nd_focusing_widget))
55

66
(alias
77
(name all)

‎frontend/frontend.ml

+1
Original file line numberDiff line numberDiff line change
@@ -10,4 +10,5 @@ let () =
1010
Ulmus.attach_all "rules-display" Natural_deduction.Rules.display_rules;
1111
Ulmus.attach_all "focused-nd" Natural_deduction.Question.focusing_component;
1212
Ulmus.attach_all "focused-tree" Natural_deduction.Question.tree_component;
13+
Ulmus.attach_all "focused-freeentry" Nd_focusing_widget.component;
1314
Ulmus.attach_download_button "download"

‎nd-focus-app/dune

+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
(library
2+
(name nd_focusing_widget)
3+
(libraries natural_deduction ulmus fol_formula js_of_ocaml parser_util sexplib generalities)
4+
(preprocess
5+
(pps ppx_monoid ppx_sexp_conv))
6+
(flags
7+
(:standard -w -49-9-27)))
8+
9+
; (alias
10+
; (name all)
11+
; (deps main.bc.js natural-deduction.html nd.css))

‎nd-focus-app/natural-deduction.html

+173
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,173 @@
1+
<html>
2+
<head>
3+
<meta charset=utf8>
4+
<link rel="stylesheet" href="../fonts/fonts.css">
5+
<style>
6+
body {
7+
font-family: "Biolinum O";
8+
margin-left: 15%;
9+
margin-right: 15%;
10+
margin-bottom: 100px;
11+
font-size: 20px;
12+
}
13+
14+
input {
15+
font-family: "DejaVu Sans Mono", "Linux Libertine O", "serif";
16+
}
17+
18+
.vertical {
19+
display:flex;
20+
flex-direction: column;
21+
flex-wrap: nowrap;
22+
justify-content: left;
23+
width: 100%;
24+
}
25+
26+
.horizontal {
27+
width: 100%;
28+
display: flex;
29+
flex-direction: row;
30+
flex-wrap: nowrap;
31+
align-items: flex-start;
32+
justify-content: flex-start;
33+
}
34+
35+
.casesplit {
36+
width: 100%;
37+
margin-top: 0em;
38+
padding-left: 0em;
39+
margin-bottom: 0em;
40+
margin-left: 1em;
41+
}
42+
43+
.indent {
44+
padding-left: 2em
45+
}
46+
47+
.grouped {
48+
margin-left: 0.5em;
49+
/*margin-right: 0.5em;*/
50+
padding-left: 0.3em;
51+
padding-right: 0.3em;
52+
border-radius: 10px 10px 10px 10px;
53+
border-left: 2px solid black;
54+
border-right: 2px solid black;
55+
flex-shrink: 0
56+
}
57+
58+
.initialformulaentry {
59+
width:100%
60+
}
61+
62+
.hole {
63+
border-radius: 5px;
64+
background-color: #ddddff;
65+
padding: 0.3em;
66+
}
67+
68+
.focushole {
69+
margin-left: 0.5em;
70+
flex: 1;
71+
}
72+
73+
.cases {
74+
padding-left: 0em;
75+
flex: 1;
76+
}
77+
78+
.focus {
79+
flex-shrink: 0;
80+
}
81+
82+
.commandinput {
83+
margin-top: 0.4em;
84+
/* width: 25% */
85+
}
86+
.errormsg {
87+
color: #f00;
88+
}
89+
.comment {
90+
color: #164;
91+
font-style: italic;
92+
white-space: nowrap;
93+
/* padding-left: 0.8em; */
94+
}
95+
.worksheet {
96+
display: flex;
97+
align-items: flex-start; width: 100%; height: 90%; justify-content: center
98+
}
99+
100+
.assumpbutton {
101+
border: none;
102+
background-color: #dddddd;
103+
border-radius: 5px 5px 0 0;
104+
padding: 0.2em 1em 0em 1em;
105+
margin-top: 0.2em;
106+
}
107+
108+
.assumpbutton:hover {
109+
background-color: #eeeeee;
110+
}
111+
112+
.unfocusedgoal {
113+
border: 1px solid #777;
114+
padding: 0.5em 1em 0.5em 1em;
115+
border-radius: 7px 7px 0px 0px;
116+
background-color: #ddd;
117+
}
118+
119+
.unfocusedgoal:hover {
120+
background-color: #eeeeee;
121+
}
122+
123+
.resetbutton {
124+
padding: 0;
125+
border: solid #ddd 1px;
126+
font-size: 50%;
127+
border-radius: 3px;
128+
margin-left: -3em;
129+
margin-right: 0.5em;
130+
background-color: #fff;
131+
color: #999;
132+
}
133+
134+
/* ------------------------ */
135+
136+
.proofbox {
137+
display: flex;
138+
flex-direction: column;
139+
flex-wrap: nowrap;
140+
padding-left: 0.5em;
141+
padding-right: 0.5em;
142+
justify-content: center
143+
}
144+
145+
.premisebox {
146+
border-bottom: 2px solid;
147+
display: flex;
148+
flex-direction: row;
149+
flex-wrap: nowrap;
150+
align-items: flex-end;
151+
justify-content: flex-end
152+
}
153+
154+
.formulabox {
155+
text-align: center;
156+
white-space: nowrap;
157+
font-family: inherit;
158+
font-size: 100%;
159+
color: #000;
160+
padding: 0.2em;
161+
}
162+
163+
.rulename {
164+
white-space: nowrap;
165+
font-size: 75%; color: #333; align-self: flex-end;
166+
}
167+
</style>
168+
</head>
169+
<body>
170+
<div class="worksheet" id="main"></div>
171+
<script src="main.bc.js"></script>
172+
</body>
173+
</html>

‎nd-focus-app/nd.css

+151
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,151 @@
1+
input {
2+
font-family: "DejaVu Sans Mono", "Linux Libertine O", "serif";
3+
}
4+
5+
.vertical {
6+
display:flex;
7+
flex-direction: column;
8+
flex-wrap: nowrap;
9+
justify-content: left;
10+
width: 100%;
11+
}
12+
13+
.horizontal {
14+
width: 100%;
15+
display: flex;
16+
flex-direction: row;
17+
flex-wrap: nowrap;
18+
align-items: flex-start;
19+
justify-content: flex-start;
20+
}
21+
22+
.casesplit {
23+
width: 100%;
24+
margin-top: 0em;
25+
padding-left: 0em;
26+
margin-bottom: 0em;
27+
margin-left: 1em;
28+
}
29+
30+
.indent {
31+
padding-left: 1em
32+
}
33+
.grouped {
34+
margin-left: 0.5em;
35+
/*margin-right: 0.5em;*/
36+
padding-left: 0.3em;
37+
padding-right: 0.3em;
38+
border-radius: 10px 10px 10px 10px;
39+
border-left: 2px solid black;
40+
border-right: 2px solid black;
41+
flex-shrink: 0
42+
}
43+
.initialformulaentry {
44+
width:100%
45+
}
46+
47+
.hole {
48+
border-radius: 5px;
49+
background-color: #ddddff;
50+
padding: 0.3em;
51+
}
52+
53+
.focushole {
54+
margin-left: 0.5em;
55+
flex: 1;
56+
}
57+
58+
.cases {
59+
padding-left: 0em;
60+
flex: 1;
61+
}
62+
63+
.focus {
64+
flex-shrink: 0;
65+
}
66+
67+
.commandinput {
68+
margin-top: 0.4em;
69+
/* width: 25% */
70+
}
71+
.errormsg {
72+
color: #f00;
73+
}
74+
.comment {
75+
color: #164;
76+
font-style: italic;
77+
white-space: nowrap;
78+
/* padding-left: 0.8em; */
79+
}
80+
.worksheet {
81+
display: flex;
82+
align-items: flex-start; width: 100%; height: 90%; justify-content: center
83+
}
84+
85+
.assumpbutton {
86+
border: none;
87+
background-color: #dddddd;
88+
border-radius: 5px 5px 0 0;
89+
padding: 0.2em 1em 0em 1em;
90+
margin-top: 0.2em;
91+
}
92+
93+
.assumpbutton:hover {
94+
background-color: #eeeeee;
95+
}
96+
97+
.unfocusedgoal {
98+
border: 1px solid #777;
99+
padding: 0.5em 1em 0.5em 1em;
100+
border-radius: 7px 7px 0px 0px;
101+
background-color: #ddd;
102+
}
103+
104+
.unfocusedgoal:hover {
105+
background-color: #eeeeee;
106+
}
107+
108+
.resetbutton {
109+
padding: 0;
110+
border: solid #ddd 1px;
111+
font-size: 50%;
112+
border-radius: 3px;
113+
margin-right: 0.3em;
114+
}
115+
116+
/* ------------------------ */
117+
/* Proof tree display */
118+
119+
.proofbox {
120+
display: flex;
121+
flex-direction: column;
122+
flex-wrap: nowrap;
123+
padding-left: 0.5em;
124+
padding-right: 0.5em;
125+
justify-content: center
126+
}
127+
128+
.premisebox {
129+
border-bottom: 2px solid;
130+
display: flex;
131+
flex-direction: row;
132+
flex-wrap: nowrap;
133+
align-items: flex-end;
134+
justify-content: flex-end
135+
}
136+
137+
.formulabox {
138+
text-align: center;
139+
white-space: nowrap;
140+
font-family: inherit;
141+
font-size: 100%;
142+
color: #000;
143+
padding: 0.2em;
144+
}
145+
146+
.rulename {
147+
white-space: nowrap;
148+
font-size: 75%;
149+
color: #333;
150+
align-self: flex-end;
151+
}

0 commit comments

Comments
 (0)