diff options
| author | Arnaud Spiwack | 2014-10-17 15:31:58 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-22 07:31:44 +0200 |
| commit | cadfe23210c8edaab1f22d0edb7acc33fb9ff782 (patch) | |
| tree | 50a7a8942285cdbf9555122c0abfa03e493afec6 /dev/include | |
| parent | d76c6d9c92d8486ef4b672f9b44e5c6ea782d7ff (diff) | |
Proofview: split [V82] module into [Unsafe] and [V82].
The Unsafe module is for unsafe tactics which cannot be done without anytime soon. Whereas V82 indicates a function which we want to get rid of and that shouldn't be used in a new function.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions