Skip to content

Commit

Permalink
Refined _CoqProject for package release
Browse files Browse the repository at this point in the history
  • Loading branch information
@ric-almeida
ric-almeida committed Oct 30, 2024
1 parent 75769f8 commit b1dbea0
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions _CoqProject
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
# This file is used by Coq IDEs (eg, VS Code with the VsCoq extension)

-R theories CheriCaps

theories

-Q _build/default/theories CheriCaps
# -Q _build/default/theories CheriCaps

0 comments on commit b1dbea0

Please sign in to comment.