diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-04 16:26:37 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-04 16:26:37 +0100 |
commit | 5003953d45ea0e780cd50bb9d6521799adf18079 (patch) | |
tree | 6b784e05f1cc59f291c0cff39f6a94ff51837f4b /ide/coq-ssreflect.lang | |
parent | df9d3a36e71d6d224286811fdc529ad5a955deb7 (diff) | |
parent | 893f8a3a3c573ab6b11cc3938cc67ccdc1b6b4ea (diff) |
Merge PR #6735: [toplevel] [vernac] Remove Load hack and check / document supported scenarios.
Diffstat (limited to 'ide/coq-ssreflect.lang')
0 files changed, 0 insertions, 0 deletions