• Robbert Krebbers's avatar
    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
_CoqProject 8 Bytes