Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
0b05b368c6f785fc53ed29919be4c1b3f532fa49
0b05b368c6f785fc53ed29919be4c1b3f532fa49
Switch branch/tag
iris
_CoqProject
Find file
Normal view
History
Permalink
_CoqProject
8 Bytes
Edit
Web IDE
Newer
Older
Add a _CoqProject file. This is recognized by emacs, can be used by...
Ralf Jung
committed
Jan 04, 2016
1
-Q . ""