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

793 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Moritz Dieing
8cc089e543 Refractor unification explanation 2021-08-18 10:16:26 +02:00
Arne Keller
8ec10126b5 Consistent padding of tooltip 
see #18
 2021-08-16 10:10:48 +02:00
Arne Keller
7abfd66aa8 Fix some bugs of the unification explanation 
see #20
 2021-08-16 09:50:43 +02:00
Moritz Dieing
208c21277b Add unification texts to bundle 2021-08-15 20:10:10 +02:00
Arne Keller
f6ccf64788 Basic explanation text UI 2021-08-10 14:42:50 +02:00
Arne Keller
9773385eab Move hidden tooltip background off useful area 2021-08-10 11:46:46 +02:00
Arne Keller
90833c37b5 Fix tooltips in case of failed let inference 2021-08-10 11:46:46 +02:00
uogau
60ee1583fd Fixed Checkstyle 2021-08-09 18:13:07 +02:00
uogau
760de925f9 added new attributes to equals() and hashCode() 2021-08-09 18:10:47 +02:00
uogau
9797d13041 Improved documentation for parser and improved error messages 
see #15
 2021-08-09 18:05:45 +02:00
Moritz Dieing
c3deae0bcc Add tree texts to bundle (only german) 2021-08-09 13:02:32 +02:00
Moritz Dieing
6968a4b5f2 Add structure for unification texts 2021-08-09 13:02:01 +02:00
Arne Keller
69479a6368 Fix Var and Const definitions and tooltips 2021-08-08 18:28:22 +02:00