diff options
Diffstat (limited to '.merlin')
-rw-r--r-- | .merlin | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,5 @@ FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50 -S ltac -B ltac S config B config S ide @@ -38,6 +36,8 @@ S vernac B vernac S plugins/ltac B plugins/ltac +S API +B API S tools B tools @@ -46,4 +46,7 @@ B tools/coqdoc S dev B dev +S plugins/** +B plugins/** + PKG threads.posix camlp5 |