arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-19 02:07:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

vaadin fix

Browse Source
This commit is contained in:
ucrhh 2021-01-28 14:32:35 +01:00
parent 136a8d74c3
commit 9e06712552
4 changed files with 16 additions and 76 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
package.json
View File

@ -1,74 +1,6 @@
{
"name": "no-name",
"license": "UNLICENSED",
"dependencies": {
"@polymer/iron-icon": "3.0.1",
"@polymer/iron-list": "3.1.0",
"@polymer/polymer": "3.2.0",
"@vaadin/flow-frontend": "./target/flow-frontend",
"@vaadin/router": "1.7.2",
"@vaadin/vaadin-app-layout": "2.2.0",
"@vaadin/vaadin-button": "2.4.0",
"@vaadin/vaadin-combo-box": "5.4.7",
"@vaadin/vaadin-custom-field": "1.3.0",
"@vaadin/vaadin-details": "1.2.0",
"@vaadin/vaadin-dialog": "2.5.2",
"@vaadin/vaadin-form-layout": "2.3.0",
"@vaadin/vaadin-grid": "5.7.7",
"@vaadin/vaadin-icons": "4.3.2",
"@vaadin/vaadin-item": "2.3.0",
"@vaadin/vaadin-list-box": "1.4.0",
"@vaadin/vaadin-lumo-styles": "1.6.1",
"@vaadin/vaadin-material-styles": "1.3.2",
"@vaadin/vaadin-menu-bar": "1.2.1",
"@vaadin/vaadin-notification": "1.6.0",
"@vaadin/vaadin-ordered-layout": "1.4.0",
"@vaadin/vaadin-progress-bar": "1.3.0",
"@vaadin/vaadin-select": "2.4.0",
"@vaadin/vaadin-split-layout": "4.3.0",
"@vaadin/vaadin-text-field": "2.8.2",
"@vaadin/form": "./target/flow-frontend/form",
"@vaadin/vaadin-avatar": "1.0.3",
"open": "^7.2.1",
"@vaadin/vaadin-upload": "4.4.1",
"@vaadin/vaadin-date-time-picker": "1.4.0",
"@vaadin/vaadin-login": "1.2.0",
"@vaadin/vaadin-accordion": "1.2.0",
"@vaadin/vaadin-checkbox": "2.5.0",
"@vaadin/vaadin-time-picker": "2.4.0",
"@vaadin/vaadin-context-menu": "4.5.0",
"@vaadin/vaadin-tabs": "3.2.0",
"@vaadin/vaadin-radio-button": "1.5.1",
"lit-element": "2.3.1",
"@vaadin/vaadin-core-shrinkwrap": "18.0.5",
"@vaadin/vaadin-date-picker": "4.4.1",
"@vaadin-component-factory/vcf-tooltip": "1.3.13"
},
"devDependencies": {
"@types/validator": "13.1.0",
"awesome-typescript-loader": "5.2.1",
"chokidar": "^3.4.0",
"compression-webpack-plugin": "4.0.1",
"copy-webpack-plugin": "5.1.2",
"css-loader": "4.2.1",
"extract-loader": "5.1.0",
"html-webpack-plugin": "3.2.0",
"lit-css-loader": "0.0.4",
"lit-element": "^2.3.1",
"lit-html": "1.2.1",
"progress-webpack-plugin": "0.0.24",
"raw-loader": "4.0.0",
"script-ext-html-webpack-plugin": "2.1.4",
"terser": "4.6.7",
"typescript": "4.0.3",
"validator": "13.1.17",
"webpack": "4.42.0",
"webpack-babel-multi-target-plugin": "2.3.3",
"webpack-cli": "3.3.11",
"webpack-dev-server": "3.11.0",
"webpack-merge": "4.2.2"
},
"vaadin": {
"dependencies": {
"lit-element": "2.3.1",
@ -102,13 +34,11 @@
"@vaadin/vaadin-details": "1.2.0",
"@polymer/iron-icon": "3.0.1",
"@vaadin/vaadin-time-picker": "2.4.0",
"@vaadin/vaadin-avatar": "1.0.3",
"@vaadin/vaadin-context-menu": "4.5.0",
"@vaadin/vaadin-avatar": "1.0.3",
"@vaadin-component-factory/vcf-tooltip": "1.3.13",
"@vaadin/vaadin-tabs": "3.2.0",
"@vaadin/vaadin-radio-button": "1.5.1",
"@vaadin/vaadin-rich-text-editor": "1.3.0",
"@vaadin-component-factory/vcf-tooltip": "1.3.13"
"@vaadin/vaadin-lumo-styles": "1.6.0",
"@vaadin/vaadin-material-styles": "1.3.2",
"open": "^7.2.1"
@ -133,7 +63,7 @@
"webpack-dev-server": "3.11.0",
"extract-loader": "5.1.0"
},
"hash": "8a8bb65418f58834b30cd258cd47da52573731720ea8967d4078487cb1253498"
"hash": "76239929559a31ed723a76c78e7c2e75d64de46a237e99dd95361916eb0c4d96"
},
"dependencies": {
"lit-element": "2.3.1",
@ -169,8 +99,9 @@
"@vaadin/vaadin-details": "1.2.0",
"@polymer/iron-icon": "3.0.1",
"@vaadin/vaadin-time-picker": "2.4.0",
"@vaadin/vaadin-avatar": "1.0.3",
"@vaadin/vaadin-context-menu": "4.5.0",
"@vaadin/vaadin-avatar": "1.0.3",
"@vaadin-component-factory/vcf-tooltip": "1.3.13",
"@vaadin/vaadin-tabs": "3.2.0",
"@vaadin/vaadin-radio-button": "1.5.1",
"@vaadin/vaadin-lumo-styles": "1.6.0",

8
pom.xml
View File

@ -180,6 +180,14 @@
<violationSeverity>warning</violationSeverity>
</configuration>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-compiler-plugin</artifactId>
<configuration>
<source>9</source>
<target>9</target>
</configuration>
</plugin>
</plugins>
</build>

2
src/main/resources/language/translation_de.properties
View File

@ -11,8 +11,6 @@ abs-rule=\\begin{prooftree}\
\\BinaryInfC{$\\Gamma \\vdash t_1 \\ t_2 : \\tau_2$}\
\\end{prooftree}
test=hello world
root.typicalc=Typicalc
root.lambda=\u03BB
root.typeInfer=Typisieren

3
src/main/resources/language/translation_en.properties
View File

@ -10,3 +10,6 @@ abs-rule=\
\\LeftLabel{APP}\n\
\\BinaryInfC{$\\Gamma \\vdash t_1 \\ t_2 : \\tau_2$}\n\
\\end{prooftree}
root.lambda=\u03BB
root.typeInfer=Typisieren