diff options
| author | Thomas Kleymann | 1996-11-13 14:50:00 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-11-13 14:50:00 +0000 |
| commit | 41e0aab590ab1044f5ff8601873395f31a2fe249 (patch) | |
| tree | b5d3b47e247e09ab017811c0d6f9aa76310fb75a /script-management.texinfo | |
| parent | c4fbc08712cca123931519df890191f01968305f (diff) | |
Yves Bertot's extension for proof by pointing. These should probably
be integrated in the generic proof package.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions