Skip to content
Open
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 13 additions & 13 deletions src/html/logax.html
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<div class="row">
<div>
<form class="kbinput">
<input type="text" class="form-control kbinput" id="new-formula">
<input type="text" class="form-control kbinput" id="new-formula" autocomplete="false">
<div id="new-input" class="kbinput-wrapper"></div>
</form>
</div>
Expand Down Expand Up @@ -105,7 +105,7 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.assumption" id="assumption-phi" style="display: none">
<td><span translate-key="logax.rule.assumption.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="assumption-formula-phi">
<input type="text" class="form-control kbinput" id="assumption-formula-phi" autocomplete="false">
<div id="assumption-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
Expand All @@ -120,14 +120,14 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.axiom-a" id="axiom-a-phi" style="display: none">
<td><span translate-key="logax.rule.axiom-a.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-a-formula-phi">
<input type="text" class="form-control kbinput" id="axiom-a-formula-phi" autocomplete="false">
<div id="axiom-a-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.axiom-a" id="axiom-a-psi" style="display: none">
<td><span translate-key="logax.rule.axiom-a.psi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-a-formula-psi">
<input type="text" class="form-control kbinput" id="axiom-a-formula-psi" autocomplete="false">
<div id="axiom-a-psi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
Expand All @@ -142,21 +142,21 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-phi" style="display: none">
<td><span translate-key="logax.rule.axiom-b.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-b-formula-phi">
<input type="text" class="form-control kbinput" id="axiom-b-formula-phi" autocomplete="false">
<div id="axiom-b-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-psi" style="display: none">
<td><span translate-key="logax.rule.axiom-b.psi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-b-formula-psi">
<input type="text" class="form-control kbinput" id="axiom-b-formula-psi" autocomplete="false">
<div id="axiom-b-psi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.axiom-b" id="axiom-b-chi" style="display: none">
<td><span translate-key="logax.rule.axiom-b.chi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-b-formula-chi">
<input type="text" class="form-control kbinput" id="axiom-b-formula-chi" autocomplete="false">
<div id="axiom-b-chi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
Expand All @@ -171,14 +171,14 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.axiom-c" id="axiom-c-phi" style="display: none">
<td><span translate-key="logax.rule.axiom-c.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-c-formula-phi">
<input type="text" class="form-control kbinput" id="axiom-c-formula-phi" autocomplete="false">
<div id="axiom-c-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.axiom-c" id="axiom-c-psi" style="display: none">
<td><span translate-key="logax.rule.axiom-c.psi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="axiom-c-formula-psi">
<input type="text" class="form-control kbinput" id="axiom-c-formula-psi" autocomplete="false">
<div id="axiom-c-psi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
Expand Down Expand Up @@ -218,7 +218,7 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.deduction" id="deduction-phi" style="display: none">
<td><span translate-key="logax.rule.deduction.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="deduction-formula-phi">
<input type="text" class="form-control kbinput" id="deduction-formula-phi" autocomplete="false">
<div id="deduction-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
Expand All @@ -232,20 +232,20 @@ <h4 id="exercise-title" translate-key="logax.title"></h4>
<tr rule="logic.propositional.axiomatic.goal" id="goal-phi" style="display: none">
<td><span translate-key="logax.rule.goal.phi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="goal-formula-phi">
<input type="text" class="form-control kbinput" id="goal-formula-phi" autocomplete="false">
<div id="goal-phi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.goal" id="goal-psi" style="display: none">
<td><span translate-key="logax.rule.goal.psi" class="float-right"></span></td>
<td><form class="kbinput">
<input type="text" class="form-control kbinput" id="goal-formula-psi">
<input type="text" class="form-control kbinput" id="goal-formula-psi" autocomplete="false">
<div id="goal-psi-input" class="kbinput-wrapper"></div>
</form></td>
</tr>
<tr rule="logic.propositional.axiomatic.goal" id="deduction-close-stepnr-2" style="display: none">
<td><span translate-key="logax.rule.goal.stepnr" class="float-right"></span></td><td>
<input type="text" id="goal-stepnr" class="form-control input">
<input type="text" id="goal-stepnr" class="form-control input" autocomplete="false">
<span translate-key="logax.rule.goal.stepExp"></span>
</td>
</tr>
Expand Down
4 changes: 2 additions & 2 deletions src/html/oneway.html
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ <h4 id="exercise-title"></h4>
<div class="row">
<div class="col-9">
<form class="kbinput">
<input type="text" class="form-control kbinput" id="new-formula">
<input type="text" class="form-control kbinput" id="new-formula" autocomplete="false">
<div id="new-input" class="kbinput-wrapper"></div>
</form>
</div>
Expand Down Expand Up @@ -98,7 +98,7 @@ <h4 id="exercise-title"></h4>
</td>
<td class="col-formula">
<form class="kbinput">
<input type="text" class="form-control kbinput" id="formula">
<input type="text" class="form-control kbinput" id="formula" autocomplete="false">
<input type="hidden" id="formulaoriginal">
<div id="one-way-input" class="kbinput-wrapper"></div>
</form>
Expand Down
6 changes: 3 additions & 3 deletions src/html/twoway.html
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
<div class="row">
<div class="col-4">
<form class="kbinput">
<input type="text" class="form-control kbinput" id="new-formula-1">
<input type="text" class="form-control kbinput" id="new-formula-1" autocomplete="false">
<div id="new-input-1" class="kbinput-wrapper"></div>
</form>
</div>
Expand All @@ -65,7 +65,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
</div>
<div class="col-4">
<form class="kbinput">
<input type="text" class="form-control kbinput" id="new-formula-2">
<input type="text" class="form-control kbinput" id="new-formula-2" autocomplete="false">
<div id="new-input-2" class="kbinput-wrapper"></div>
</form>
</div>
Expand Down Expand Up @@ -105,7 +105,7 @@ <h4 id="exercise-title" translate-key="twoWay.title"></h4>
</td>
<td class="col-formula">
<form class="kbinput">
<input type="text" class="form-control kbinput" id="formula">
<input type="text" class="form-control kbinput" id="formula" autocomplete="false">
<div id="two-way-input" class="kbinput-wrapper"></div>
</form>
</td>
Expand Down