Skip to content

GitLab

I
Iris
Switch branch/tag
Find file Normal viewHistoryPermalink
_CoqProject 8 Bytes
Newer Older
Ralf Jung's avatar
Add a _CoqProject file. This is recognized by emacs, can be used by...  
Ralf Jung committed
1 
-Q . ""