Return to standard_natural_vectors_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_natural_vectors_io.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Natural_Ring_io;
        !             2: with Standard_Natural_Vectors;
        !             3: with Generic_Vectors_io;
        !             4:
        !             5: package Standard_Natural_Vectors_io is
        !             6:   new Generic_Vectors_io(Standard_Natural_Ring_io,Standard_Natural_Vectors);
        !             7:
        !             8: -- DESCRIPTION :
        !             9: --   Defines input/output of vectors of standard natural numbers.