diff options
| author | Pierre Courtieu | 2006-09-05 15:13:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-05 15:13:17 +0000 |
| commit | 07088a47b162ebc8b46acb53d0fc3b4e0e9d1dc6 (patch) | |
| tree | 1db01d8621a7f02259a86358c71da5de87c1e066 /isa | |
| parent | 3817b477032a4fc82dd9df9b6e26c82ca77106e8 (diff) | |
Error highliting in coq now works
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions