 |  | real_strings |  |
 |  | real_strin.ads |  |
|  | strings | |
| | digits_strings | |
| intege_strings | ||
| number_strings | ||
| real_strings | ||
| string_tools | ||
| strings | ||
 | test_strings.a |
| | util | |
|  | hash_tables/ | |
| heaps/ | ||
| images/ | ||
| lists/ | ||
| maths/ | ||
| messages/ | ||
| pipes/ | ||
| primes/ | ||
| readers/ | ||
| strings/ | ||
| writers/ |
| | ada | |
| | bin/ | |
| engine/ | ||
| fonts/ | ||
| internal/ | ||
| text/ | ||
| util/ |
|  | Home | |
|  | Showcase | |
 | Snapshots | ||
 | Ada Source | ||
 | PHP Source | ||
 | Fonts |
|  | Sourceforge | |
|  | Summary | |
 | Downloads | ||
 | Browse CVS | ||
 | Donate | ||
 | Activity |
Hosted by
Real_Strings
Instantiation of Digits_Strings with Real as the Number type.