-
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
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.