Commits · master · PSE Typinferenz / Typicalc

12 Jul, 2022 1 commit
- Update typicalc service definition · 9d232a4b
  uskyk authored Jul 12, 2022
  
  9d232a4b
24 Feb, 2022 2 commits
- CI: update to nixos 21.11 · 1464469c
  uskyk authored Feb 24, 2022
  
  1464469c
- Unfocus all input fields on submit, fixes #33 · 066d7f82
  uskyk authored Feb 24, 2022
  
  066d7f82
29 Nov, 2021 1 commit
- Fix issue #31 · da875763
  uskyk authored Nov 29, 2021
  
  da875763
12 Oct, 2021 2 commits
- removed more useless getter descriptions · cfb27e3d
  Robin authored Oct 12, 2021
  
  cfb27e3d
- various small changes · b80e1700
  Robin authored Oct 12, 2021
  
  b80e1700
08 Oct, 2021 1 commit
- Small code style fixes + documentation · 376933a4
  uskyk authored Oct 08, 2021
  
  376933a4
07 Oct, 2021 3 commits
- Miscellaneous cleanups and corrections · b26f71e8
  uskyk authored Oct 07, 2021
  
  b26f71e8
- Remove unused translation text · b5e15767
  uskyk authored Oct 07, 2021
  
  b5e15767
- Fix type highlighting when switching language · ed9cb6a3
  uskyk authored Oct 07, 2021
  
  ed9cb6a3
04 Oct, 2021 1 commit
- Various style improvements and fixes · 980b2d83
  uskyk authored Oct 04, 2021
```
- more documentation
- up to date screenshots
- SonarLint suggestions
```
  980b2d83
29 Sep, 2021 4 commits
- Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc · 1def7789
  Moritz Dieing authored Sep 29, 2021
  
  1def7789
- Actually fix exception thrown by last example · 8db04369
  Moritz Dieing authored Sep 29, 2021
  
  8db04369
- Document frontend scripts · edafdf0f
  uskyk authored Sep 29, 2021
  
  edafdf0f
- Optimize frontend script and style · 91daed42
  uskyk authored Sep 29, 2021
  
  91daed42
23 Sep, 2021 1 commit
- Add java docs and remove unused methods · 49adac2a
  Moritz Dieing authored Sep 23, 2021
  
  49adac2a
20 Sep, 2021 2 commits
- Fix explanation text language switch · 2bc908e6
  uskyk authored Sep 20, 2021
```
closes #30
```
  2bc908e6
- Always scroll to explanation text · cbe7d47c
  uskyk authored Sep 20, 2021
```
fixes #29
```
  cbe7d47c
07 Sep, 2021 2 commits
- Fixes exception thrown by last example · bbb0f7de
  Robin authored Sep 07, 2021
```
Not the most beautiful fix, but it works...
```
  bbb0f7de
- Center on last step in proof tree · db48c7ff
  uskyk authored Sep 07, 2021
  
  db48c7ff
03 Sep, 2021 1 commit
- Consistent spelling · 78bb7325
  Robin authored Sep 03, 2021
  
  78bb7325
31 Aug, 2021 4 commits
- Entries in HelpDialog for new functionality · 43d35066
  Moritz Dieing authored Aug 31, 2021
  
  43d35066
- Add new fuzzing target for latex creator · c2ae5ca1
  uskyk authored Aug 31, 2021
```
FWIW this didn't find anything, we might need type assumptions..
```
  c2ae5ca1
- Improve performance of proof tree panning · c7bb826b
  uskyk authored Aug 31, 2021
  
  c7bb826b
- Consistent naming of css ids and classes · 684327d6
  Moritz Dieing authored Aug 31, 2021
  
  684327d6
30 Aug, 2021 6 commits
- Button to toggle visibility of explanation texts · 5277feaf
  uskyk authored Aug 30, 2021
  
  5277feaf
- Fix typo in translation · 978ccb03
  uskyk authored Aug 30, 2021
  
  978ccb03
- Fix incorrectly disabled buttons · 26b2bd9f
  uskyk authored Aug 30, 2021
```
If the last step is currently shown and the user switches to step 0,
the next/last buttons have to be re-enabled.
```
  26b2bd9f
- Scroll to explanation text if needed · fbb80ae3
  uskyk authored Aug 30, 2021
```
fixes #26
```
  fbb80ae3
- Refactor frontend script · 0f2ba5e8
  uskyk authored Aug 30, 2021
  
  0f2ba5e8
- Improve english translation · 9ab7a876
  uskyk authored Aug 30, 2021
```
closes #23
```
  9ab7a876
29 Aug, 2021 8 commits
- Fix checkstyle · 84f9623b
  uskyk authored Aug 29, 2021
  
  84f9623b
- Fix NPE in frontend · 540f95c0
  uskyk authored Aug 29, 2021
  
  540f95c0
- Optimize unification view · 29d692c2
  uskyk authored Aug 29, 2021
  
  29d692c2
- Improve display of unification errors · 520960fe
  uskyk authored Aug 29, 2021
  
  520960fe
- Fix incorrect latex code on let term · 6bae4a3b
  uskyk authored Aug 29, 2021
  
  6bae4a3b
- Almost implement scrolling to explanation texts · 9b107065
  uskyk authored Aug 29, 2021
```
see #26
```
  9b107065
- Switch to step when clicking on explainer · 5d4d8cd8
  uskyk authored Aug 29, 2021
```
fixes #27
```
  5d4d8cd8
- Hovering in the unification area · 8b1371ce
  uskyk authored Aug 29, 2021
```
fixes #25
```
  8b1371ce
25 Aug, 2021 1 commit
- Add top and bottom padding to unification · 26c97d93
  Moritz Dieing authored Aug 25, 2021
  
  26c97d93