arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-13 20:53:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
565 Commits 4 Branches 0 Tags 5.4 MiB
9c599de580
Commit Graph

120 Commits

Author SHA1 Message Date
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
Arne Keller
a00cd12d2e Fix info dialog close button position 2021-02-11 12:28:32 +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
541f9c54e8 Tree min height of 75% 2021-02-10 16:46:34 +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
ucrhh
585b402cd7 add border to proof tree 2021-02-09 22:09:34 +01:00
Moritz Dieing
b7d5611755 Implement TypeAssumptions (frontend) 2021-02-08 00:54:40 +01:00
Arne Keller
a25bdfe3dd More javadocs + Vaadin routing fixes 2021-02-06 15:57:53 +01:00
ucrhh
94704e8f7f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 13:30:29 +01:00
Moritz Dieing
c42fd73361 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 12:09:40 +01:00
Moritz Dieing
619e6da18c Change drawer width + render on language change 2021-02-06 12:06:49 +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
Moritz Dieing
4c98976059 Extends content of infoDialog 2021-02-05 23:58:19 +01:00
Arne Keller
2b0657cdfc Fix MathJax line length + big example 2021-02-05 19:13:03 +01:00
Moritz Dieing
4d44136528 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-05 18:49:13 +01:00
Moritz Dieing
54e0777eab Content for info dialog 2021-02-05 18:48:13 +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
Moritz Dieing
cab1e74490 Add language select 2021-02-04 20:09:28 +01:00
Moritz Dieing
a4659f8386 Extend language files 2021-02-04 20:09:09 +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
Arne Keller
15ede65458 Make drawer more obvious 2021-02-01 15:35:15 +01:00
Moritz Dieing
e8baff88a0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 14:02:13 +01:00
Moritz Dieing
1d903f7626 Structure for infoDialog 2021-01-31 14:02:05 +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
Moritz Dieing
69b9ef4773 DrawerContent erweitert + styling und logik besser getrennt 2021-01-30 01:28:53 +01:00
Moritz Dieing
2fc3f78626 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 19:03:22 +01:00
Moritz Dieing
19549357bd DrawerContent und RuleField erweitert 2021-01-29 19:03:15 +01:00
ucrhh
5b3a0f3a0f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 17:30:04 +01:00
ucrhh
d294ed5471 change mathjax unifiaction to use String[] 2021-01-29 17:29:38 +01:00
Moritz Dieing
158760ed5f HelpDialog und kleinere Änderungen 2021-01-29 17:15:59 +01:00
Arne Keller
d9660c6299 Replace combobox with less annoying example dialog 2021-01-29 10:02:14 +01:00
Moritz Dieing
f66f01fe0f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 01:25:52 +01:00
Moritz Dieing
36e8b4c020 UpperBar + InputBar erweitert 2021-01-29 01:25:49 +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
ucrhh
df5315934c merge 2021-01-28 12:47:06 +01:00
ucrhh
bee97390b6 mathjax now rendering with MathjaxDisplay 2021-01-28 12:33:38 +01:00
Moritz Dieing
c37934f898 UpperBar erweitert 2021-01-28 12:16:10 +01:00
ucrhh
15bab40610 add first mathjax classes 2021-01-28 10:41:20 +01:00
Moritz Dieing
737197df02 Klassenrümpfe + copyToClipboard 2021-01-28 00:31:27 +01:00
Me
34f4e7c49e add more classes 2021-01-27 10:23:05 +01:00
Me
e0b3a9165b Vaadin init 2021-01-26 16:05:33 +01:00