diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-01-18 15:25:17 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-01-18 15:25:17 +0000 |
commit | a6cb6e1e302ba63b8c5ca73d70d970738bf9ff23 (patch) | |
tree | 0ea74de3aa6ac8275a9584a7c7b610dff1e8014f /hol-light | |
parent | 4aa1e71604e91413f84e2de14f01c50df05596da (diff) |
Added some detail on the indentation limitation in the CHANGE.
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions