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