Skip to content

Synchronize with vendored MenhirLib#416

Merged
xavierleroy merged 1 commit intoAbsInt:masterfrom
jhjourdan:update_vendored_coq_menhirlib
Oct 3, 2021
Merged

Synchronize with vendored MenhirLib#416
xavierleroy merged 1 commit intoAbsInt:masterfrom
jhjourdan:update_vendored_coq_menhirlib

Commits

Commits on Oct 1, 2021