tal             Thu Mar 28 11:50:57 2002 EDT

  Modified files:              
    /phpdoc/en/language types.xml 
  Log:
  It should be 'arbitrary length integers'
  
Index: phpdoc/en/language/types.xml
diff -u phpdoc/en/language/types.xml:1.73 phpdoc/en/language/types.xml:1.74
--- phpdoc/en/language/types.xml:1.73   Fri Feb  8 09:15:22 2002
+++ phpdoc/en/language/types.xml        Thu Mar 28 11:50:56 2002
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.73 $ -->
+<!-- $Revision: 1.74 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -270,7 +270,7 @@
      
     <para>
      See also:
-     <link linkend="ref.gmp">Arbitrary precision integers</link> and
+     <link linkend="ref.gmp">Arbitrary length integers</link> and
      <link linkend="language.types.float">Floating point numbers</link>
     </para>
 


Reply via email to