Index: phpdoc/de/language/types.xml
diff -u phpdoc/de/language/types.xml:1.13 phpdoc/de/language/types.xml:1.14
--- phpdoc/de/language/types.xml:1.13 Sat Jul 7 18:17:08 2001
+++ phpdoc/de/language/types.xml Tue Aug 14 18:46:16 2001
@@ -13,7 +13,7 @@
- Flie罬omma-Zahl
+ Flie罬omma-Zahl
@@ -72,7 +72,7 @@
-
+ Flie罬omma-Zahlenwerte
Flie罬omma-Zahlenwerte ("doubles") k霵nen durch eine der folgenden
Index: phpdoc/es/language/types.xml
diff -u phpdoc/es/language/types.xml:1.3 phpdoc/es/language/types.xml:1.4
--- phpdoc/es/language/types.xml:1.3 Thu Aug 24 02:51:16 2000
+++ phpdoc/es/language/types.xml Tue Aug 14 18:46:16 2001
@@ -12,7 +12,7 @@
- números en punto flotante
+ números en punto flotante
@@ -68,7 +68,7 @@
-
+ Números en punto flotante
Los números en punto flotante ("double") se pueden especificar utilizando
Index: phpdoc/fr/language/types.xml
diff -u phpdoc/fr/language/types.xml:1.12 phpdoc/fr/language/types.xml:1.13
--- phpdoc/fr/language/types.xml:1.12 Tue Aug 14 14:18:00 2001
+++ phpdoc/fr/language/types.xml Tue Aug 14 18:46:16 2001
@@ -1,4 +1,4 @@
-
+
Les types
@@ -21,7 +21,7 @@
- nombre à virgule flottante
+ nombre à virgule flottante
@@ -162,7 +162,7 @@
- Le nombre à virgule flottante 0.0 (zéro)
+ Le nombre à virgule flottante 0.0 (zéro)
@@ -304,7 +304,7 @@
- Depuis un nombre à virgule flottante
+ Depuis un nombre à virgule flottante
Lors de conversion entre nombre à virgule flottante et
@@ -338,7 +338,7 @@
Pour plus d'informations, reportez-vous aux
- alertes liées
+ alertes liées
aux nombres à virgule flottante.
@@ -366,7 +366,7 @@
Voir aussi :
Nombres de grande taille et
- Nombres à virgules flottantes.
+ Nombres à virgules flottantes.
\ No newline at end of file
+-->
Index: phpdoc/pt_BR/language/types.xml
diff -u phpdoc/pt_BR/language/types.xml:1.1 phpdoc/pt_BR/language/types.xml:1.2
--- phpdoc/pt_BR/language/types.xml:1.1 Fri Aug 4 12:40:50 2000
+++ phpdoc/pt_BR/language/types.xml Tue Aug 14 18:46:18 2001
@@ -11,7 +11,7 @@
- nmeros de ponto flutuante
+ nmeros de ponto flutuante
@@ -63,7 +63,7 @@
-
+ Nmeros de ponto flutuante
Nmeros de ponto flutuante ("doubles") podem ser especificados usando-se qualquer