diff options
| author | Pierre Courtieu | 2004-03-08 18:41:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-08 18:41:59 +0000 |
| commit | ca05bbc391f48d5e56e24a653c6a7799909eed4d (patch) | |
| tree | 6bb717c145717e171aff1afc2226a7acd4da87a6 /generic | |
| parent | f7eec8783733bab66dc3b4ddbf5d543bee33ef73 (diff) | |
indentation for coq completely re-coded, because the generic mechanism
does not use "proof-goal-command-p" and is not powerful enough.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions