diff options
author | 2017-01-05 17:03:37 +0100 | |
---|---|---|
committer | 2017-05-23 10:48:27 +0200 | |
commit | da5ac9169d0c65ff389104dfd983311b85e059e2 (patch) | |
tree | 135a0285b1042779b41d3af5a7897d5ef3cfa95b /toplevel/usage.ml | |
parent | 088ddea70d2d9121d76f0f3c6c0412fd2a67ff0a (diff) |
CoqProject_file: document in API deprecated features
Diffstat (limited to 'toplevel/usage.ml')
0 files changed, 0 insertions, 0 deletions