MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV SPARK

U ada.strings.equal_case_insensitive%b  a-secain.adb  29e8c3c7 NE OL PU SU
W ada%s			ada.ads			ada.ali
W ada.characters%s	a-charac.ads		a-charac.ali
W ada.characters.handling%s  a-chahan.adb	a-chahan.ali
W ada.strings%s		a-string.ads		a-string.ali

U ada.strings.equal_case_insensitive%s  a-secain.ads  a7ec4680 NE OL PU SU
W ada.strings%s		a-string.ads		a-string.ali

D ada.ads		20121213103024 3ffc8e18
D a-charac.ads		20121213103029 2d3ec45b
D a-chahan.ads		20121213103029 1d381dcd
D a-string.ads		20121213103024 90ac6797
D a-secain.ads		20121213103024 37402117
D a-secain.adb		20121213103024 0390ff1d
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-stalib.ads		20130106093355 f78bcf95
X 1 ada.ads
16K9*Ada 19e8 5|30r10 32r14 6|30r6 30r36 32r10 59r5
X 2 a-charac.ads
16K13*Characters 18e19 6|30r10 30r40
X 3 a-chahan.ads
36K24*Handling 150e28 6|30w21 30r51
62V13*To_Lower{character} 6|48s10 48s34
X 4 a-string.ads
16K13*Strings 35e16 5|30r14 32r18 6|32r14 59r9
X 5 a-secain.ads
30V22*Equal_Case_Insensitive{boolean} 4|16k13 5|31>4 31>10 32r26 6|32b22
. 59l17 59t39
31s4 Left{string} 6|33b4 35r20 39r7 43r7 48r20 52r15
31s10 Right{string} 6|33b10 36r20 39r22 48r44
X 6 a-secain.adb
35i4 LI{integer} 48r26 52r10 56m7 56r13
36i4 RI{integer} 48r51 57m7 57r13
47l4 loop 58e12