diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
| commit | d1dbb1bb03f777f744774b353b13b3cf2d11bf5f (patch) | |
| tree | 4544c59fbd97b3d276456867d1b50173276082af /etc/coq/bug-447.v | |
| parent | 3ace4262f67f259cba60338db8718d134c2c237c (diff) | |
Add option proof-layout-windows-on-visit-file, addressing Trac #444
Diffstat (limited to 'etc/coq/bug-447.v')
0 files changed, 0 insertions, 0 deletions