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
743 Commits 4 Branches 0 Tags 5.4 MiB
a7a587a769
Commit Graph

743 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arne Keller
6cea905dc4 Use aligned instead of align* 2021-03-04 12:10:15 +01:00
ucrhh
5f35f57151 examples load instantly when clicked 2021-03-04 11:28:51 +01:00
Arne Keller
cde13db5b1 Replace every backslash after user finished typing 2021-03-03 21:43:38 +01:00
Moritz Dieing
19a2921cbc Add screenshots 2021-03-03 19:56:05 +01:00
Moritz Dieing
592ace9882 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-03 19:53:53 +01:00
Moritz Dieing
b1fb1d8ef5 Better type in type assumptions 2021-03-03 19:53:39 +01:00
Arne Keller
e61c34c8da WIP unification change highlighter 2021-03-03 14:57:23 +01:00
Arne Keller
a807179b05 Pointer cursor for buttons 2021-03-02 18:24:18 +01:00
ucrhh
0154e2ddf9 remove '-' from tab name when given term is empty 2021-03-01 12:32:36 +01:00
ucrhh
b282064f72 make typeAssumption delete button not focusable using tab 2021-03-01 11:21:05 +01:00
Johanna Stuber
dda2f4747b kleinere Änderungen nach 2. Tester 2021-02-28 16:09:09 +01:00
Johanna Stuber
b2aae87b55 typos, kleine Änderungen nach Testerrückmeldung 2021-02-28 12:44:25 +01:00
Robin
0cda05d847 put disabling logic into refreshElements() 2021-02-28 11:32:50 +01:00
Robin
7271c22029 ControlPanel Buttons are now disabled when they have no function 2021-02-28 11:17:16 +01:00
Johanna Stuber
bd5f0eeefa Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-27 23:02:03 +01:00
Johanna Stuber
c2475d4983 Szenario mit Permlaink IT 2021-02-27 23:01:53 +01:00
ucrhh
66ad18fe93 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-27 22:21:38 +01:00
ucrhh
6c291ce271 add scenario1 test 2021-02-27 22:19:55 +01:00
Arne Keller
3a20b338ff Optimize MathJax layout algorithm 2021-02-27 21:28:17 +01:00
Moritz Dieing
b058ee037c Integration test: latex export + type assumptions 2021-02-27 15:40:15 +01:00
Arne Keller
24454a26ee Integration test: example scenario 2021-02-26 12:15:35 +01:00
Moritz Dieing
bb7954d393 Typo 2021-02-25 19:59: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
Johanna Stuber
862fc87393 OnlyConclusionStepTest 2021-02-24 22:47:37 +01:00
Johanna Stuber
36e763ce6d fix bug with failing let sub-inference 2021-02-24 22:12:06 +01:00
Moritz Dieing
0c1cdfa118 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-21 11:49:54 +01:00
Moritz Dieing
c554f5e9f3 Update ErrorNotification 2021-02-21 11:49:46 +01:00
Johanna Stuber
fd8638164f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-21 11:38:49 +01:00
Johanna Stuber
1e31c19db5 package-info for util, presenter; adjust Javadoc TypeInfererLet 2021-02-21 11:38:29 +01:00
Arne Keller
d09345259a Small style adjustments 2021-02-21 10:34:09 +01:00
Arne Keller
1dc5f861c3 Fix parser issue 2021-02-21 10:32:34 +01:00
Johanna Stuber
c115baa4d4 merge 2021-02-20 21:16:27 +01:00
Johanna Stuber
56185806d7 addition to ass grammar, unification error strings 2021-02-20 21:14:40 +01:00
ucrhh
44ad536446 add heading to share dialog 2021-02-20 15:34:32 +01:00
Arne Keller
27aff112bb TypeAssumptionParser tests 2021-02-20 09:06:14 +01:00
Moritz Dieing
d6bc8bb9cd package info for content and infocontent 2021-02-20 01:01:41 +01:00
Moritz Dieing
3283d566f3 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-20 00:33:58 +01:00
Moritz Dieing
cb28b00ca3 JavaDoc for IT classes 2021-02-20 00:32:33 +01:00
ucrhh
28aee51c7f fix pipeline 2021-02-19 23:21:24 +01:00
ucrhh
6fc73d1a3f reformat, sanitize docs 2021-02-19 22:56:25 +01:00
ucrhh
e3b5d85cd5 forgot to use string constant 2021-02-19 18:55:34 +01:00
ucrhh
77ce5e4ee1 change empty brackets for typeAssumptions to \emptyset symbol 2021-02-19 18:52:27 +01:00
ucrhh
eca2b2a668 changed string to not depend on language 2021-02-19 18:45:50 +01:00
ucrhh
383802bc59 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-19 18:38:19 +01:00
ucrhh
1f68eda42e implement typeabstraction in LatexCreatorConstraints 2021-02-19 18:37:59 +01:00
Moritz Dieing
9f30e76484 English translation + inputFieldPlaceholder 2021-02-19 16:19:32 +01:00
Moritz Dieing
318d34216e Open link in new tab 2021-02-19 15:28:17 +01:00
ucrhh
0ecb8be4b6 partially implement let type assumptions 2021-02-19 14:55:02 +01:00
ucrhh
70f8e64423 add translation strings 2021-02-19 14:11:26 +01:00