diff options
| author | Pierre Courtieu | 2006-08-23 19:04:57 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-23 19:04:57 +0000 |
| commit | 584c3a565264c498cb5fe1fed173f1920af56fc0 (patch) | |
| tree | e892cafb6f786f543b4f3e20d557d9886c0e9fe2 /FAQ | |
| parent | fafbdd53c8f0ec86191acfc7a9c1a389fbfe0a4a (diff) | |
Fixed indentation and font-lock for coq. Better, faster.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions