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/pre_env.mli | |
| parent | 223c68e38e217d9457c476d5534b6aaf0ad2caf6 (diff) | |
STM: perspective (tell the scheduler what the user sees)
Diffstat (limited to 'kernel/pre_env.mli')
0 files changed, 0 insertions, 0 deletions