From: Simon Wright <simon@pushface.org>
Subject: Re: Sledgehammer Indexing Tools
Date: Tue, 07 Aug 2012 22:14:21 +0100
Date: 2012-08-07T22:14:21+01:00 [thread overview]
Message-ID: <m2k3xaz9oy.fsf@nidhoggr.home> (raw)
In-Reply-To: 716bc5a7-e59d-44fe-849b-3072750b6d3f@googlegroups.com
Marius Amado-Alves <amado.alves@gmail.com> writes:
>> > ... Use full qualification (marius)
>
>> In this case, external_lookup.ads might say
>>
>> package Occurrences_Vector is new Indefinite_Vectors (
>> Natural,
>> Token_Maps.Occurrences.Map,
>> Token_Maps.Occurrences."=");
>> (simon)
>
> Yes. (GPS told you that, right ?:-)
grep, actually.
prev parent reply other threads:[~2012-08-13 9:45 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-06 18:36 Sledgehammer Indexing Tools 3-toed Sloth
2012-08-06 21:28 ` Patrick
2012-08-07 10:55 ` Simon Wright
2012-08-07 11:41 ` john
2012-08-07 11:55 ` Marius Amado-Alves
2012-08-07 17:16 ` Simon Wright
2012-08-07 20:24 ` Marius Amado-Alves
2012-08-07 21:14 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox