Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
Forked from Iris / Iris
Loading
user avatar
Add [] spec patterns for missing premises of iApply.
Robbert Krebbers authored 
This fixes issue #51.
84481877
History
user avatar 84481877
History
Name Last commit Last update