diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 09:23:41 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:51:24 +0200 |
| commit | 1c6d12874f0737d07acbda6b56e43053ca159c36 (patch) | |
| tree | 7d592914309cee12091af28a7db6538270911c47 /tools | |
| parent | 4972a6a8851dfe823a022fc3b8c7c01332a89c35 (diff) | |
| download | compcert-1c6d12874f0737d07acbda6b56e43053ca159c36.tar.gz compcert-1c6d12874f0737d07acbda6b56e43053ca159c36.zip | |
Reformulated the definitions of [option] and [list] in a slightly more elegant manner.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions