From: Gautier write-only address <gautier_niouzes@hotmail.com>
Subject: Re: Ann: LEA v.0.87
Date: Wed, 13 Sep 2023 12:23:44 -0700 (PDT) [thread overview]
Message-ID: <7d1817b8-cb28-4cda-ab5c-0b271cf74ee8n@googlegroups.com> (raw)
In-Reply-To: <u543j7$kh9$1@shakotay.alphanet.ch>
Le mardi 30 mai 2023 à 08:03:22 UTC+2, DrPi a écrit :
> That's it. Auto-completion and mouse-over documentation in LEA.
Some news: mouse-over documentation is implemented, as well as a "go to declaration" context menu entry :-)
next prev parent reply other threads:[~2023-09-13 19:23 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
2023-06-01 3:18 ` Gautier write-only address
2023-06-01 7:17 ` DrPi
2023-09-13 19:23 ` Gautier write-only address [this message]
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