Commit Graph

806 Commits

Author SHA1 Message Date
uskyk
9d232a4b17 Update typicalc service definition 2022-07-12 12:08:57 +02:00
Arne Keller
1464469c70 CI: update to nixos 21.11 2022-02-24 12:08:53 +01:00
Arne Keller
066d7f82e2 Unfocus all input fields on submit, fixes #33 2022-02-24 12:08:16 +01:00
Arne Keller
da87576326 Fix issue #31 2021-11-29 15:50:13 +01:00
Robin
cfb27e3de3 removed more useless getter descriptions 2021-10-12 04:08:32 +02:00
Robin
b80e170006 various small changes 2021-10-12 03:57:46 +02:00
Arne Keller
376933a4f5 Small code style fixes + documentation 2021-10-08 11:52:07 +02:00
Arne Keller
b26f71e8b2 Miscellaneous cleanups and corrections 2021-10-07 12:39:43 +02:00
Arne Keller
b5e15767e9 Remove unused translation text 2021-10-07 11:04:18 +02:00
Arne Keller
ed9cb6a3fa Fix type highlighting when switching language 2021-10-07 11:03:39 +02:00
Arne Keller
980b2d838d Various style improvements and fixes
- more documentation
- up to date screenshots
- SonarLint suggestions
2021-10-04 11:20:36 +02:00
Moritz Dieing
1def7789d6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-09-29 17:11:53 +02:00
Moritz Dieing
8db0436975 Actually fix exception thrown by last example 2021-09-29 17:11:37 +02:00
Arne Keller
edafdf0ff4 Document frontend scripts 2021-09-29 17:02:19 +02:00
Arne Keller
91daed42c4 Optimize frontend script and style 2021-09-29 17:02:19 +02:00
Moritz Dieing
49adac2a88 Add java docs and remove unused methods 2021-09-23 17:27:41 +02:00
Arne Keller
2bc908e660 Fix explanation text language switch
closes #30
2021-09-20 10:32:25 +02:00
Arne Keller
cbe7d47cdd Always scroll to explanation text
fixes #29
2021-09-20 10:22:37 +02:00
Robin
bbb0f7de38 Fixes exception thrown by last example
Not the most beautiful fix, but it works...
2021-09-07 14:39:09 +02:00
Arne Keller
db48c7ffa0 Center on last step in proof tree 2021-09-07 09:49:04 +02:00
Robin
78bb732541 Consistent spelling 2021-09-03 00:52:49 +02:00
Moritz Dieing
43d350665b Entries in HelpDialog for new functionality 2021-08-31 21:16:36 +02:00
Arne Keller
c2ae5ca10e Add new fuzzing target for latex creator
FWIW this didn't find anything, we might need type assumptions..
2021-08-31 11:36:39 +02:00
Arne Keller
c7bb826b73 Improve performance of proof tree panning 2021-08-31 11:36:39 +02:00
Moritz Dieing
684327d63a Consistent naming of css ids and classes 2021-08-31 10:56:03 +02:00
Arne Keller
5277feafcf Button to toggle visibility of explanation texts 2021-08-30 16:14:51 +02:00
Arne Keller
978ccb034c Fix typo in translation 2021-08-30 15:56:51 +02:00
Arne Keller
26b2bd9f00 Fix incorrectly disabled buttons
If the last step is currently shown and the user switches to step 0,
the next/last buttons have to be re-enabled.
2021-08-30 15:55:19 +02:00
Arne Keller
fbb80ae3ad Scroll to explanation text if needed
fixes #26
2021-08-30 14:55:16 +02:00
Arne Keller
0f2ba5e8a2 Refactor frontend script 2021-08-30 14:38:34 +02:00
Arne Keller
9ab7a876d6 Improve english translation
closes #23
2021-08-30 14:25:17 +02:00
Arne Keller
84f9623b95 Fix checkstyle 2021-08-29 16:12:37 +02:00
Arne Keller
540f95c0f8 Fix NPE in frontend 2021-08-29 15:59:42 +02:00
Arne Keller
29d692c231 Optimize unification view 2021-08-29 15:58:51 +02:00
Arne Keller
520960fea1 Improve display of unification errors 2021-08-29 15:43:02 +02:00
Arne Keller
6bae4a3b01 Fix incorrect latex code on let term 2021-08-29 15:32:49 +02:00
Arne Keller
9b1070651c Almost implement scrolling to explanation texts
see #26
2021-08-29 15:27:07 +02:00
Arne Keller
5d4d8cd828 Switch to step when clicking on explainer
fixes #27
2021-08-29 08:53:22 +02:00
Arne Keller
8b1371ce08 Hovering in the unification area
fixes #25
2021-08-29 08:32:15 +02:00
Moritz Dieing
26c97d937e Add top and bottom padding to unification 2021-08-25 14:23:57 +02:00
Moritz Dieing
4d0e0fea3e Small bugfix 2021-08-25 14:02:54 +02:00
Moritz Dieing
d9572665df Explanation texts english 2021-08-25 14:02:26 +02:00
Arne Keller
4d5d3b8636 Refactor unification view to be dynamically sized
see #24
2021-08-24 16:33:57 +02:00
uogau
04c7f6ab37 "Fix" Checkstyle, this time for real... 2021-08-24 13:47:00 +02:00
uogau
79d6c88b1f "Fix" Checkstyle 2021-08-24 13:37:35 +02:00
uogau
526ed46c67 Added copy buttons to share dialog 2021-08-24 13:32:32 +02:00
Arne Keller
0b5016da4f Refactor explanation texts 2021-08-21 17:44:49 +02:00
Arne Keller
c190289f6f Show better error message on 's∀'
see #15
2021-08-21 16:50:37 +02:00
Arne Keller
b558d3cbf5 Fix unification test 2021-08-21 16:45:05 +02:00
Moritz Dieing
d721fb1c33 Bug fixes and text changes 2021-08-18 14:28:19 +02:00