diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-10 18:29:29 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:55:45 +0200 |
commit | 973b6c69f0861c113f7bd5b94604d2497520a334 (patch) | |
tree | 9c56073db17f918ff826900252377c56d2c7592e /ltac | |
parent | c2249c3b4c3387a3c8510e68fc447274d7299695 (diff) |
Adding a target check-beautify for testing reparsability of
beautification of the standard library.
Currently not intrusive but needs two extra phases of compilation.
Diffstat (limited to 'ltac')
0 files changed, 0 insertions, 0 deletions