diff options
| author | Hendrik Tews | 2011-04-19 20:00:46 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-04-19 20:00:46 +0000 |
| commit | 81dedfc59dd603c38e5075ad7480505883dcce09 (patch) | |
| tree | 3ae689fcc0d5c5b6fadd88fb9ac45cfe1d6d53f8 /generic/proof-script.el | |
| parent | 0bdb7f45bf2d93f86f355e898e01954f02977c93 (diff) | |
* small doc fix
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions