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 /proofs | |
| parent | df9d3a36e71d6d224286811fdc529ad5a955deb7 (diff) | |
| parent | 893f8a3a3c573ab6b11cc3938cc67ccdc1b6b4ea (diff) | |
Merge PR #6735: [toplevel] [vernac] Remove Load hack and check / document supported scenarios.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions