Call 23 01 2023

Jump to bottom

Emilio Jesús Gallego Arias edited this page Jan 23, 2023 · 1 revision

When and Where

https://rdv2.rendez-vous.renater.fr/coq-lsp
Monday January 23rd, 5pm Paris time

Topics

Decision on releasing 0.1.4 (Emilio)
Debug settings (Ali)
Holes for Coq (Ali)

Notes (23/01/2023)