diff options
| author | Pierre Courtieu | 2007-07-12 14:20:15 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-07-12 14:20:15 +0000 |
| commit | 0be57f51716e6e8fab0b711a6765d6272f612cd3 (patch) | |
| tree | 8ef53b16284373c7e6aa42d8fb5de12c3b85e1f0 /generic/proof.el | |
| parent | ad96fa7d9c59f6e147248246029fdff6bd559ae1 (diff) | |
Added new keywords.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions