arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
749 Commits 4 Branches 0 Tags 5.4 MiB
60ee1583fd
Commit Graph

136 Commits

Author SHA1 Message Date
Johanna Stuber
40a04d4646 add inference view features paragraph in help dialogue 2021-03-06 22:14:23 +01:00
Arne Keller
251d7a3fc2 Attach character + position to some errors 2021-03-06 20:39:10 +01:00
Johanna Stuber
b03d33a91c add typiclacInfo 2021-03-06 18:56:35 +01:00
ucrhh
b7e519151c fix typo 2021-03-05 22:09:24 +01:00
ucrhh
06e6135a3b change error notification to error page 2021-03-05 22:05:24 +01:00
ucrhh
db14a72783 fix typos 2021-03-05 21:04:38 +01:00
Moritz Dieing
ca2b3ac934 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 17:11:23 +01:00
Moritz Dieing
d3abb4f10c Add title attribute to buttons 2021-03-05 17:11:14 +01:00
Johanna Stuber
a4f3b38a10 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 16:56:45 +01:00
Johanna Stuber
c2de56a29a add amsmath to needed packages 2021-03-05 16:56:23 +01:00
ucrhh
f1df0fee45 merge 2021-03-05 16:21:04 +01:00
ucrhh
26d10ce0cb add shortcut panel 2021-03-05 16:16:38 +01:00
Arne Keller
a6856d1252 Fancy key shortcut characters 2021-03-05 15:47:27 +01:00
ucrhh
e724aedebd add shortcuts demo 2021-03-05 14:21:50 +01:00
ucrhh
a7e8a24d77 make examples latex code compatible with normal LaTeX 2021-03-05 12:51:56 +01:00
Moritz Dieing
a7eaf394ec Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 12:44:29 +01:00
Moritz Dieing
7a80ccb577 Smaller copy button with notification 2021-03-05 12:44:17 +01:00
ucrhh
7a689d12a9 improved texts 2021-03-05 12:08:29 +01:00
Johanna Stuber
22adbfe1c6 highlight 'highlighted' 2021-03-04 19:17:55 +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
Moritz Dieing
bb7954d393 Typo 2021-02-25 19:59:17 +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
Moritz Dieing
9f30e76484 English translation + inputFieldPlaceholder 2021-02-19 16:19:32 +01:00
ucrhh
70f8e64423 add translation strings 2021-02-19 14:11:26 +01:00
Moritz Dieing
9c38621c34 Some english strings + layout changes 2021-02-19 13:37:07 +01:00
Moritz Dieing
6fa165b602 Change slide texts 2021-02-19 12:42:46 +01:00
Moritz Dieing
bd77f5a62b Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-19 12:31:31 +01:00
Moritz Dieing
ef81ef948f German version of start page 2021-02-19 12:31:23 +01:00
Johanna Stuber
4c502ff437 'English', 'Deutsch' 2021-02-18 17:47:50 +01:00
Moritz Dieing
cf97417299 German: forgot two hyphens 2021-02-17 19:40:51 +01:00
Arne Keller
b2a11617c1 English: less hyphens 2021-02-17 18:10:15 +01:00
Moritz Dieing
f362f7f56a JavaDoc + move examples to bundle 2021-02-17 17:59:24 +01:00
Moritz Dieing
43af68812e Save button for type assumptions 2021-02-17 17:29:04 +01:00
Moritz Dieing
13d935814d Add hyphens 2021-02-17 17:10:29 +01:00
Arne Keller
74cd76767a Update translations + fix empty type assumption 2021-02-17 15:43:28 +01:00
Moritz Dieing
49c767bd0f Add typeInfer button to helpDialog 2021-02-16 16:17:02 +01:00
Moritz Dieing
8c77bd62e5 English version of error strings 2021-02-16 15:23:53 +01:00
Moritz Dieing
cee2a964cc Improved error message 2021-02-16 14:53:40 +01:00
Johanna Stuber
8ca72a77e2 typos in operating help, add let example from Übungsblatt 2021-02-15 16:42:45 +01:00
Moritz Dieing
7357b69373 English version of help content 2021-02-13 14:52:44 +01:00
Moritz Dieing
89eca4f33d German version of help content 2021-02-13 13:31:53 +01:00
Arne Keller
c49c1c4a23 Fix translation encoding again 2021-02-13 09:51:10 +01:00
Moritz Dieing
288e954f3e Suggestion for design of help dialog 2021-02-13 01:40:58 +01:00
ucrhh
47d78be6db styling, add missing translation keys 2021-02-11 14:41:03 +01:00
Arne Keller
7878b5fc83 DRY translation setup + Vaadin bug workaround 2021-02-11 12:30:13 +01:00
Arne Keller
b0638ead8b Add a favicon 2021-02-10 13:24:47 +01:00
Johanna Stuber
3b5d4cf924 correct type grammar 2021-02-10 11:59:00 +01:00
Arne Keller
22705727cb Misc. adjustments 
Properties file was encoded using latin1 again!

The JaCoCo agent should not execute when running the server,
use mvn jacoco:prepare-agent test jacoco:report
when generating test coverage.
 2021-02-08 09:52:09 +01:00
Moritz Dieing
b7d5611755 Implement TypeAssumptions (frontend) 2021-02-08 00:54:40 +01:00
ucrhh
e34464f641 refactor LatexCreatorConstraints 2021-02-06 13:30:13 +01:00
Moritz Dieing
4c98976059 Extends content of infoDialog 2021-02-05 23:58:19 +01:00
Arne Keller
3fb9853cb3 Fix encoding of resource file 2021-02-05 19:18:31 +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
5f2454f2d1 TypeAssumptionsArea class skeleton 2021-02-05 18:14:12 +01:00
Arne Keller
a7f1556fe6 Fix misc. UI issues 2021-02-05 17:02:08 +01:00
Johanna Stuber
2df0107243 make inference rule appearance consistent with tree appearance 2021-02-05 10:28:06 +01:00
Johanna Stuber
45b3e9fca1 Add missing \ in translation_en const rule 2021-02-04 22:06:47 +01:00
Moritz Dieing
a4659f8386 Extend language files 2021-02-04 20:09:09 +01:00
Arne Keller
0cb09b92ec Increase size of SVG to 100% 2021-02-03 15:10:51 +01:00
Arne Keller
9d4e225d16 Code style fixes 2021-02-02 10:55:46 +01:00
Moritz Dieing
edb025fafb setContent for startpage + exception handling 2021-02-01 20:26:22 +01:00
ucrhh
a24ae6d98e fix Mathjax bug where content would sometimes not render at all 2021-01-30 23:19:53 +01:00
Moritz Dieing
19549357bd DrawerContent und RuleField erweitert 2021-01-29 19:03:15 +01:00
Moritz Dieing
158760ed5f HelpDialog und kleinere Änderungen 2021-01-29 17:15:59 +01:00
Arne Keller
d9660c6299 Replace combobox with less annoying example dialog 2021-01-29 10:02:14 +01:00
Moritz Dieing
c0898ca964 I18N provider überarbeitet 2021-01-28 23:06:40 +01:00
ucrhh
804dfb2c2f improve tree demo 2021-01-28 18:16:29 +01:00
ucrhh
2c62690428 add mathjax proof tree 2021-01-28 14:50:25 +01:00
ucrhh
9e06712552 vaadin fix 2021-01-28 14:32:35 +01:00
Moritz Dieing
539c45e5d5 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 13:22:55 +01:00
Moritz Dieing
82aa689084 InputBar und UpperBar erweitert 2021-01-28 13:20:44 +01:00
ucrhh
df5315934c merge 2021-01-28 12:47:06 +01:00
Moritz Dieing
c37934f898 UpperBar erweitert 2021-01-28 12:16:10 +01:00
Arne Keller
91099dcb9f Formatting 2021-01-28 11:02:50 +01:00
me
93882c2f0b merge 2021-01-28 01:12:09 +01:00
me
cfcc2e3bd3 test latex demo code, make vaadin runnable 2021-01-28 00:55:55 +01:00
Moritz Dieing
175b38c8e8 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 00:32:19 +01:00
Moritz Dieing
737197df02 Klassenrümpfe + copyToClipboard 2021-01-28 00:31:27 +01:00
me
325c64be06 add demo string for drawer content 2021-01-28 00:06:36 +01:00
Arne Keller
cf00fb803b Checkstyle-Fehler behoben 2021-01-27 21:02:52 +01:00
Moritz Dieing
a3c235229d I18NProvider eingefügt 2021-01-27 12:34:30 +01:00
Me
e0b3a9165b Vaadin init 2021-01-26 16:05:33 +01:00