diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-02 16:03:13 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-02-21 18:13:07 +0100 |
commit | 31af3352b0faf2928b6dd0b58530a4332eccf7a8 (patch) | |
tree | 07c6b3a25c493752f0de81ee2e60294f4134f390 /stm/workerLoop.ml | |
parent | 3457327ab61bff61df6c90d2b612d40fee99ccf7 (diff) |
Update CREDITS.
In particular, add a mention of SSReflect.
Diffstat (limited to 'stm/workerLoop.ml')
0 files changed, 0 insertions, 0 deletions