Stream: Ltac2

Topic: ✔ Arguments of Control.focus

view this post on Zulip Louise Dubois de Prisque (Nov 09 2023 at 20:56):

Thanks Gaëtan :)

view this post on Zulip Notification Bot (Nov 09 2023 at 20:56):

Louise Dubois de Prisque has marked this topic as resolved.

Last updated: Oct 12 2024 at 13:01 UTC