diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:52:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:52:39 +0000 |
| commit | c2b44108df89ba871d691517324298d8d7095fa7 (patch) | |
| tree | f65eda55ca3296b1452063c377ae9f1a4d640bab /doc/Makefile | |
| parent | a273949edc75272520d5f71e0226482fba876fdc (diff) | |
Rename: proof-show-debug-messages -> proof-general-debug.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions