arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 10:20:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
767 Commits 4 Branches 0 Tags 5.4 MiB
26c97d937e
Commit Graph

174 Commits

Author SHA1 Message Date
Moritz Dieing
81b74bd92d Use classic drawer toggle 
Use classic drawer toggle since its described in help content now.
 2021-02-13 15:03:49 +01:00
Arne Keller
4e7d124720 Consistent padding of help dialog 2021-02-13 10:31:08 +01:00
ucrhh
0e1c596702 remove spacing around scrollbar 2021-02-13 10:24:48 +01:00
Moritz Dieing
288e954f3e Suggestion for design of help dialog 2021-02-13 01:40:58 +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
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