arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
569 Commits 4 Branches 0 Tags 5.4 MiB
a4224f4263
Commit Graph

53 Commits

Author SHA1 Message Date
Arne Keller
081e3e188b Fix touch interaction with proof tree 2021-03-08 12:42:32 +01:00
Arne Keller
c5d146a137 Move styling into CSS 2021-03-07 20:24:57 +01:00
Moritz Dieing
e06041bfcb Autoselect for ShareDialog 2021-03-07 13:03:35 +01:00
Moritz Dieing
24feec3bc4 Better replacement of type variables 2021-03-07 12:44:52 +01:00
Arne Keller
c22c125b7b Activate shortcuts only if possible 2021-03-07 11:15:37 +01:00
Arne Keller
9363533e6a Focus input field on / press 2021-03-05 08:52:08 +01:00
Arne Keller
37f5b64518 Fix scope of key shortcuts 2021-03-04 23:16:08 +01:00
Moritz Dieing
b1fb1d8ef5 Better type in type assumptions 2021-03-03 19:53:39 +01:00
Arne Keller
3a20b338ff Optimize MathJax layout algorithm 2021-02-27 21:28:17 +01:00
ucrhh
0e1c596702 remove spacing around scrollbar 2021-02-13 10:24:48 +01:00
Arne Keller
ecd92c9369 Fix error coloring and translation 2021-02-12 15:29:49 +01:00
ucrhh
1cc94a3125 constraints dont disappear during unification 2021-02-11 20:05:26 +01:00
ucrhh
cfc25ed81f fix little inconsistency 2021-02-11 14:54:09 +01:00
ucrhh
9a12342c27 disable context menu again 2021-02-11 09:30:53 +01:00
ucrhh
e9b80794b6 move LatexCreator classes into one package 2021-02-11 08:55:16 +01:00
Moritz Dieing
cbd6144ada Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-10 17:27:08 +01:00
Moritz Dieing
2ba52fbae0 Fix lambda button insertion 2021-02-10 17:27:05 +01:00
Arne Keller
d5b6cdc854 Clean up TypeScript code 2021-02-10 16:46:34 +01:00
Arne Keller
f1fe6fce02 Highlight erroring constraint 2021-02-10 14:48:02 +01:00
Arne Keller
7c11df9058 Fix conclusion placement 2021-02-10 10:33:01 +01:00
Arne Keller
3e153dc0d3 Fix checkstyle issue 2021-02-10 08:24:31 +01:00
Arne Keller
54da12a132 Fix tree layout on failed let 2021-02-10 08:08:46 +01:00
Arne Keller
a25bdfe3dd More javadocs + Vaadin routing fixes 2021-02-06 15:57:53 +01:00
ucrhh
b5f114303f removed mjx context menu 2021-02-06 11:50:17 +01:00
Arne Keller
d3fd5b99a8 Set page title to lambda term 2021-02-06 10:57:35 +01:00
Arne Keller
843430439d Fix layout of upper bar 2021-02-06 10:42:02 +01:00
Arne Keller
2b0657cdfc Fix MathJax line length + big example 2021-02-05 19:13:03 +01:00
Arne Keller
a7f1556fe6 Fix misc. UI issues 2021-02-05 17:02:08 +01:00
Arne Keller
e1a90b3923 Final var step: show premise in second step 2021-02-04 21:17:03 +01:00
Arne Keller
bdabb010b0 LatexCreator unification error display (incomplete) 2021-02-04 21:03:04 +01:00
Arne Keller
ab0241e009 Proof tree: check step array index 2021-02-04 20:45:51 +01:00
Arne Keller
2b69a160a3 MathJax: move elements to start of line 2021-02-04 20:30:11 +01:00
Arne Keller
b72f6d01e3 First inference step just displays result 2021-02-04 20:30:11 +01:00
ucrhh
acdc005ed7 limie SVG hacks to proof tree 2021-02-04 16:50:54 +01:00
ucrhh
fd00b47928 change substitution sign to another arrow 2021-02-04 10:58:09 +01:00
Arne Keller
84a9a3c5a4 Display premises always, space between premises 2021-02-03 21:43:40 +01:00
Arne Keller
2930a274ed Limit SVG hacks to proof tree and unification 2021-02-03 16:28:35 +01:00
Arne Keller
0cb09b92ec Increase size of SVG to 100% 2021-02-03 15:10:51 +01:00
Arne Keller
9d4e225d16 Code style fixes 2021-02-02 10:55:46 +01:00
Arne Keller
301069fe6c Fix MathJax layout 2021-02-01 19:37:56 +01:00
Arne Keller
10cd63abb4 Panning and zooming of inference tree 2021-02-01 16:19:13 +01:00
ucrhh
1a5625b6ad make TypeInferenceView reload safe 2021-01-31 13:33:33 +01:00
ucrhh
a24ae6d98e fix Mathjax bug where content would sometimes not render at all 2021-01-30 23:19:53 +01:00
ucrhh
d294ed5471 change mathjax unifiaction to use String[] 2021-01-29 17:29:38 +01:00
ucrhh
c392cc0c0f enable mjx proof tree step functionality 2021-01-29 00:19:21 +01:00
ucrhh
20fc3fd892 add skeletons for all Mathjax classes 2021-01-28 22:11:48 +01:00
Arne Keller
26ddf5fdd7 MathJax typeset in connectedCallback 2021-01-28 17:59:50 +01:00
Arne Keller
cfec25c566 MathJax: use shadow DOM, wait for content 2021-01-28 17:50:56 +01:00
Arne Keller
9f13bb7e42 MathJax without Shadow DOM (did not work) 
Checkstyle excludes
Bundle MathJax
 2021-01-28 16:18:42 +01:00
ucrhh
2c62690428 add mathjax proof tree 2021-01-28 14:50:25 +01:00