clarify SUBVL
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 25 Jun 2019 12:02:43 +0000 (13:02 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 25 Jun 2019 12:02:43 +0000 (13:02 +0100)
commit61730f1e5c32a5bf58969a152fa04d2f91ae8e14
tree8e2af21a5b1524b5092f452e0fc6dc3dc2320579
parent5477e6901793ee57cee90b09c6a5c88af54f64a4
clarify SUBVL
simple_v_extension/abridged_spec.mdwn
simple_v_extension/specification.mdwn