arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-20 02:38:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
485 Commits 4 Branches 0 Tags 5.4 MiB
0154e2ddf9
Commit Graph

89 Commits

Author SHA1 Message Date
Arne Keller
3a20b338ff Optimize MathJax layout algorithm 2021-02-27 21:28:17 +01:00
Arne Keller
f86e38e305 Remove custom index.html 
Breaks HTML5 compatibility
 2021-02-25 11:01:36 +01:00
Arne Keller
fecb53f9ca Shrink button width 2021-02-25 10:40:01 +01:00
Arne Keller
d09345259a Small style adjustments 2021-02-21 10:34:09 +01:00
Moritz Dieing
9c38621c34 Some english strings + layout changes 2021-02-19 13:37:07 +01:00
Moritz Dieing
ef81ef948f German version of start page 2021-02-19 12:31:23 +01:00
Moritz Dieing
43af68812e Save button for type assumptions 2021-02-17 17:29:04 +01:00
Arne Keller
a2b4a06e50 Fix share dialog size 2021-02-17 16:36:06 +01:00
Moritz Dieing
49c767bd0f Add typeInfer button to helpDialog 2021-02-16 16:17:02 +01:00
Moritz Dieing
cee2a964cc Improved error message 2021-02-16 14:53:40 +01:00
Moritz Dieing
38c3a61882 Set height and accordion width 2021-02-14 13:57:05 +01:00
Arne Keller
0bb88280b8 Set size only for help dialog 2021-02-14 13:51:08 +01:00
Arne Keller
ed21276f46 Workaround for Vaadin weirdness 2021-02-14 13:13:09 +01:00
Moritz Dieing
b2209bcdaf Set dialog width in java 
Css solution did not work when all accordion panels were closed
 2021-02-14 12:05:46 +01:00
Arne Keller
5a9903e754 Move style to CSS files 2021-02-13 17:49:29 +01:00
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