History / Coq Call 2019 12 11

Revisions

[call] Notes from 11-12 call.

ejgallego committed Dec 11, 2019

d8aaf66
[call] [wg] Update to reflect WG push of the 8.10 discussion.

ejgallego committed Dec 11, 2019

53fbb41
Updated Coq Call 2019 12 11 (markdown)

charguer committed Dec 11, 2019

4b6dc31
Not able to attend, sorry; removing topic I proposed

herbelin committed Dec 11, 2019

f0af5a1
Updated Coq Call 2019 12 11 (markdown)

maximedenes committed Dec 11, 2019

f8c5d34
Updated Coq Call 2019 12 11 (markdown)

maximedenes committed Dec 11, 2019

b4c0d88
[coq call] Update for Call of Dec. 4th.

ejgallego committed Dec 4, 2019

edb7570