From 94c70ea8643f08f5c337831f8a599785bce6b6c1 Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Wed, 31 Mar 2021 15:01:01 +0200 Subject: [PATCH] Link to the repository --- src/main/resources/language/translation_de.properties | 2 +- src/main/resources/language/translation_en.properties | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 5562cb6..cae6b81 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -88,7 +88,7 @@ root.helpInferenceViewFeatures=Wurde ein Term erfolgreich typisiert, werden der abgebrochen. Mit \u03C3 wird am Ende der allgemeinste Unifikator angegeben, mit \u03C3(\u03B1\u2081) der \ finale Typ des Terms. help.typicalcInfo=\ -Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von
\ +Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von
\ Robin Böhne
\ Moritz Dieing
\ Thomas Heinen
\ diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index c904062..041493b 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -81,7 +81,7 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in steps in the tree are shown. If such a sub-unification or the outermost unification fails, the whole algorithm is \ cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081). help.typicalcInfo=\ -Typicalc was developed as a PSE project at the KIT in WS20/21 by
\ +Typicalc was developed as a PSE project at the KIT in WS20/21 by
\ Robin Böhne
\ Moritz Dieing
\ Thomas Heinen
\