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 NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U gnat.spelling_checker%b  g-speche.adb		e60ec785 OL PK
W gnat%s		gnat.ads		gnat.ali
W gnat.spelling_checker_generic%s  g-spchge.adb	g-spchge.ali

U gnat.spelling_checker%s  g-speche.ads		bc6eac59 EE NE OL PU PK
W gnat%s		gnat.ads		gnat.ali

D gnat.ads		20121213103024 fd2ad2f1
D g-speche.ads		20121213103024 41447ea8
D g-speche.adb		20121213103024 83d1c848
D g-spchge.ads		20121213103024 249b7165
D g-spchge.adb		20121213103024 8b11d3b1
D system.ads		20121213103024 90249111
X 1 gnat.ads
34K9*GNAT 37e9 2|39r9 55r5 3|34r6 36r14 39r6 51r5
X 2 g-speche.ads
39K14*Spelling_Checker 1|34k9 2|55l10 55e26 3|36b19 51l10 51t26
42V13*Is_Bad_Spelling_Of{boolean} 43>7 44>7 3|46b13
43s7 Found{string} 3|47b7
44s7 Expect{string} 3|48b7
X 3 g-speche.adb
38V13 IBS[4|51]{boolean} 49r12 5|40b13
X 4 g-spchge.ads
42K14*Spelling_Checker_Generic 3|34w11 39r11 4|65e34
51v13*Is_Bad_Spelling_Of 3|39r36