arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 19:00:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

First inference step just displays result

Browse Source
This commit is contained in:
Arne Keller 2021-02-04 18:40:41 +01:00
parent e57907c251
commit b72f6d01e3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontend/src/mathjax-proof-tree.ts
View File

@ -83,6 +83,9 @@ class MathjaxProofTree extends MathjaxAdapter {
labelElement.style.display = "none";
above.push(labelElement);
}
if (stepIdx === 1) {
steps.push([a, []]);
}
if (!semantics.startsWith("bspr_axiom")) {
steps.push([a, above]);
}