diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-09-24 13:17:09 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-24 13:17:09 +0000 |
commit | b9a94de47fc19be0764f0fb8f7521d992df0979f (patch) | |
tree | bdc5a09500a80a532a738c17f60d1a783f7b734f /coq | |
parent | e5f43518b1f9b0cb11f4901d8870aa2982e66953 (diff) |
Fixed docstring of proof-layout-windows for two columns mode.Was not
up-to-date.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions