diff options
| author | David Aspinall | 2009-08-07 13:57:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-07 13:57:38 +0000 |
| commit | 128e2c38c20fef173ad931bbaca3a31b17c9e3db (patch) | |
| tree | 8ff77014ee7554e3081b35d689cbfc8e5378b807 /FAQ | |
| parent | 0f6a56ba41e9110b85063012a6aae949ae8b4ebb (diff) | |
Name changes and tweaks: proof-full-decoration -> proof-full-decoration,
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions