Skip to content
Snippets Groups Projects
Select Git revision
11 results
Blame Permalink
Forked from Iris / Iris
2543 commits behind the upstream repository.
  • Robbert Krebbers's avatar
    80f07870
    Remove autosubst submodule. · 80f07870
    Robbert Krebbers authored 
    For consistency, let's deal with autosubst in the same way as with
ssreflect. The user should install it somewhere itself.

This should be documented and possibly discussed later.
    80f07870
    History
    Remove autosubst submodule.
    Robbert Krebbers authored 
    For consistency, let's deal with autosubst in the same way as with
ssreflect. The user should install it somewhere itself.

This should be documented and possibly discussed later.