From: DrPi <314@drpi.fr>
Subject: Re: Ann: LEA v.0.87
Date: Tue, 30 May 2023 08:03:19 +0200 [thread overview]
Message-ID: <u543j7$kh9$1@shakotay.alphanet.ch> (raw)
In-Reply-To: <07e3c6f5-596f-42cb-9363-b6ffa7f6eefbn@googlegroups.com>
Le 30/05/2023 à 07:27, Gautier write-only address a écrit :
> On Monday, May 29, 2023 at 9:56:38 PM UTC+2, DrPi wrote:
>
>> Just missing Alire and ALS compatibility ;)
>
> Alire: are you missing a LEA crate?
Why not but I was thinking compiling/running Alire projects from LEA.
> ALS: = Ada language server?
That's it. Auto-completion and mouse-over documentation in LEA.
next prev parent reply other threads:[~2023-05-30 6:03 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-05-29 16:29 Ann: LEA v.0.87 Gautier write-only address
2023-05-29 19:56 ` DrPi
2023-05-30 5:27 ` Gautier write-only address
2023-05-30 6:03 ` DrPi [this message]
2023-06-01 3:18 ` Gautier write-only address
2023-06-01 7:17 ` DrPi
2023-09-13 19:23 ` Gautier write-only address
2023-09-13 20:12 ` DrPi
2023-06-09 21:41 ` Gautier write-only address
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox