diff options
| author | Enrico Tassi | 2014-01-22 10:26:36 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-26 14:20:52 +0100 |
| commit | b0da879dc6abfca6b4e233b7469265a5cf52ce15 (patch) | |
| tree | 52135f9c69dd9c6ad5571d49e8da0c14c819f6d2 /kernel | |
| parent | ea17a2a371d0d791f439e0a4c6610819ecb6f9b6 (diff) | |
CoqIDE: ported to spawn
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions