Question about the doc of L4Re

Hi hackers,
I am learning the fiasco's source code recently, and I saw the doc in http://l4re.org/doc/ does not match with the code in l4re-snapshot-2014053111
such as: 
in class scheduler, there has some function:
L4_msg_tag sys_run(L4_fpage::Rights, Syscall_frame *f, Utcb const *utcb);
L4_msg_tag sys_idle_time(L4_fpage::Rights, Syscall_frame *f, Utcb *utcb);
L4_msg_tag sys_info(L4_fpage::Rights, Syscall_frame *f, Utcb const *iutcb, Utcb *outcb);


but in the document, the function are not the same:
l4_msgtag_t info (l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()
l4_msgtag_t run_thread (Cap< Thread > const &thread, l4_sched_param_t const &sp, l4_utcb_t *utcb=l4_utcb()) const throw ()
l4_msgtag_t idle_time (l4_sched_cpu_set_t const &cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()


So, Is this doc out of date? and if the answer is yes, where can i find some fresh doc? if no, How to use the doc correctly?


Thanks,
Kevin

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers