diff options
| author | Arnaud Spiwack | 2014-08-05 16:08:29 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-05 16:52:14 +0200 |
| commit | 5b92ff7b0a641bf2daa31b60bf49b57a5d1e8452 (patch) | |
| tree | 62d40878d0dbca6404750c5fd699f63d031032e7 /stm/asyncTaskQueue.ml | |
| parent | 4eaafcd00992302c186b8d11e890616726ebd822 (diff) | |
Ltac's idtac is now implemented using the new API.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions