| Sat, 11 Feb 2012 09:34:46 +0000 | urbanc | renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun | file | diff | annotate |
| Fri, 10 Feb 2012 21:01:03 +0000 | urbanc | more on paper; modified schs functions; it is still compatible with the old definition | file | diff | annotate |