We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9b2f1cb commit 2cff144Copy full SHA for 2cff144
system/src/de/uka/ilkd/key/gui/Main.java
@@ -98,7 +98,7 @@ private enum UiMode {
98
" (internal: "+INTERNAL_VERSION+")";
99
100
public static final String COPYRIGHT=UnicodeHelper.COPYRIGHT
101
- +" Copyright 2001"+UnicodeHelper.ENDASH+"2013 "
+ +" Copyright 2001"+UnicodeHelper.ENDASH+"2014 "
102
+"Karlsruhe Institute of Technology, "
103
+"Chalmers University of Technology, and Technische Universit\u00e4t Darmstadt";
104
@@ -512,4 +512,4 @@ public static final class Verbosity {
512
public static final byte HIGH = 2;
513
public static final byte DEBUG = 4;
514
}
515
-}
+}
0 commit comments