summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-09-18 10:08:20 +0200
committerSon Ho2023-09-18 10:08:20 +0200
commit888565dd83636522564c6fcae1571735b32125da (patch)
tree774548e8855905eb33d92d37efb7bb396b060752 /tests/coq/betree/_CoqProject
parent242aca3092c6594206896ea62eb40395accc8459 (diff)
Fix an issue when loading the saved theorem maps for the progress tactic
Diffstat (limited to 'tests/coq/betree/_CoqProject')
0 files changed, 0 insertions, 0 deletions