diff options
| author | Makarius Wenzel | 2007-08-20 09:38:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-08-20 09:38:10 +0000 |
| commit | fdcd31d4ef474b4a7217aa65c239e6e271a35754 (patch) | |
| tree | 480e90d9046b603df81c162160cd8c6e5f24f12b /generic | |
| parent | 2f5e3825d4c1a38e9334b2a46716e06eb08b3c4f (diff) | |
proper use of ProofGeneral.sendback;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions