Skip to content

Commit

Permalink
Update _CoqProject
Browse files Browse the repository at this point in the history
  • Loading branch information
@veriatl
veriatl committed Feb 8, 2022
1 parent a5ce53f commit 04c7a1a
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions _CoqProject
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,9 +64,7 @@ core/modeling/properties/ModelingAdditivityRuleExt.v
core/basic/basicExpressions.v
core/basic/basicSyntax.v
core/basic/basicSemantics.v
#core/basic/basicSyntaxCertification.v
#core/basic/basicCertification.v
#core/basic/properties/Confluence.v
core/basic/properties/Confluence.v

#core/test/iExpressions.v
#core/test/iSyntax.v
Expand Down

0 comments on commit 04c7a1a

Please sign in to comment.