• Jacques-Henri Jourdan's avatar
    Fix Open/Close scope · a64bf2f0
    Jacques-Henri Jourdan authored
    Use Open/Close Scope without Local (i.e., export the scope opening)
    only when the scope corresponds to the main purpose of the module.
    a64bf2f0
Name
Last commit
Last update
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
CHANGELOG.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Makefile.coq.local Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
descr Loading commit data...
opam Loading commit data...