diff options
| author | David Aspinall | 2002-08-28 23:44:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 23:44:06 +0000 |
| commit | 1371ea5101bb0d34a2743bf0ab767e33d747453c (patch) | |
| tree | 4cf53be26993e27c2b09d544cb8259a207cfe03a /plastic | |
| parent | e90f1249c55291c7b0bab546c2513e5a91bc0c6b (diff) | |
Fix for docstrings in proof-def-shortcut, proof-def-invisible.
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions