diff options
| author | David Aspinall | 2008-01-25 15:24:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 15:24:21 +0000 |
| commit | 9442124c8204c6d8fec6fd1261fb2a19c9b6521b (patch) | |
| tree | 069918eda93668a88996c84ff10b6e36e694b4a6 /pgshell | |
| parent | 2042769a3de38d3dff7b733f70fde783b2e3024e (diff) | |
Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/173
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions