diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 15:59:49 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 16:04:33 +0100 |
commit | 56b5573f5e5da78558e7b466e14f71a54af7b65c (patch) | |
tree | cafe00db428703ea12451f20cfece16e2d2fe1cd /kernel/sorts.ml | |
parent | 223c68e38e217d9457c476d5534b6aaf0ad2caf6 (diff) |
STM: perspective (tell the scheduler what the user sees)
Diffstat (limited to 'kernel/sorts.ml')
0 files changed, 0 insertions, 0 deletions