On 10/29/2012 04:48 PM, Ludovic Brenta wrote:
> Guo Yixuan writes:
>> -* GNAT Reference Manual: (gnat_rm-4.4).
>> +* GNAT 4.4 Reference Manual: (gnat_rm-4.4).
>>
>> This will make gnat-4.4-doc and gnat-4.6-doc co-installable, for
>> example. (Although I know gnat-4.4 and gnat-4.6 conflicts,
>> co-
Guo Yixuan writes:
> -* GNAT Reference Manual: (gnat_rm-4.4).
> +* GNAT 4.4 Reference Manual: (gnat_rm-4.4).
>
> This will make gnat-4.4-doc and gnat-4.6-doc co-installable, for
> example. (Although I know gnat-4.4 and gnat-4.6 conflicts,
> co-installable is a good idea, IMO.) Please tell me if it
2 matches
Mail list logo