Quentin VERMANDE (Oct 23 2023 at 13:02): Quentin VERMANDE (Oct 23 2023 at 13:02):Ok, it should be fine now. Thanks.
Notification Bot (Oct 23 2023 at 13:02):Quentin VERMANDE has marked this topic as resolved.
Notification Bot (Oct 24 2023 at 14:33):2 messages were moved from this topic to #Elpi users & devs > Canonical instanciation via elpi by Cyril Cohen.
Notification Bot (Oct 24 2023 at 14:33):Cyril Cohen has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC