diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-02-13 10:07:59 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-02-13 10:07:59 +0000 |
commit | e4438b2984cadf3e60935cb1e37be55e63f063a0 (patch) | |
tree | be28081c36b511837d87bf304a4b2cb04be36267 /hol-light/TacticRecording | |
parent | 4d988813b94df6ddcc8363fb9eb827be73b36b0d (diff) |
fix coqdep error recognition
Diffstat (limited to 'hol-light/TacticRecording')
0 files changed, 0 insertions, 0 deletions