diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-07-10 16:00:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-07-10 16:00:27 +0000 |
| commit | 2ee032846aa8e985478055f3b3b289439fb5860a (patch) | |
| tree | 51ccb59d72ec4f4dcc9b3ba4c40f5df598a13ed0 /coq/ex | |
| parent | 215dce626eb21fd0e504517d55b552f5c303dccb (diff) | |
Fixing #478 + reverting partially the fix of #476 (Instance cannot be indented by default).
Diffstat (limited to 'coq/ex')
0 files changed, 0 insertions, 0 deletions