wimsdev

BlueGreycalmElegant

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /trunk/wims/src/Misc/authors @ 13127

  → /trunk/wims/src/Misc/authors @ 13128

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 13127 → Rev 13128

/trunk/wims/src/Misc/authors/jm.evers/applets/Plinko/build.xml
21,7 → 21,7
<property name="dist" location="dist"/>
<property name="debug" value="false"/>
<property name="debuglevel" value="lines,var,source"/>
<property name="java-level" value="1.4"/>
<property name="java-level" value="1.6"/>
<!-- Compiles the classes. -->
<target name="compile" description="Compile the source">

/trunk/wims/src/Misc/authors/jm.evers/applets/Plinko/src/Plinko.java
154,15 → 154,15
label_count="Zahl: ";
label_mean="Mean: ";
label_variance="Variance: ";
label_bin="Behälter: ";
label_bins="Behälter: ";
label_bin="Behälter: ";
label_bins="Behälter: ";
label_speed="Geschwindigkeit : ";
label_bin_count="Zahl/Behälter: ";
label_bin_probability="Wahrscheinlichkeit in Behälter: ";
label_bin_count="Zahl/Behälter: ";
label_bin_probability="Wahrscheinlichkeit in Behälter: ";
label_probability="Wahrscheinlichkeit: ";
label_confidence="Wahrscheinlichkeits Intervall: ";
some_text=" % der Kugeln fällt in Behälter ";
some_text2=" % der Kugeln fällt in Behälter ";
some_text=" % der Kugeln fällt in Behälter ";
some_text2=" % der Kugeln fällt in Behälter ";
through=" bis ";
String label_controls=" Menu ";
String label_statistics="Statistik";