diff --git a/package.json b/package.json index 9aeefa1..279d476 100644 --- a/package.json +++ b/package.json @@ -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", diff --git a/pom.xml b/pom.xml index ba903ae..a6d5a69 100644 --- a/pom.xml +++ b/pom.xml @@ -180,6 +180,14 @@ warning + + org.apache.maven.plugins + maven-compiler-plugin + + 9 + 9 + + diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 3aff95b..fee13ef 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -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 diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index e0fa3f2..81cd612 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -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 \ No newline at end of file