Historie revizí

Autor SHA1 Zpráva Datum
  Andra Hugo 631a599c05 move dichotomy out of the policies před 12 roky
  Andra Hugo 05d10ea37d move task_pool out of the policies před 12 roky
  Andra Hugo 6bcd0d3c6e rename + comments in the public interface před 12 roky
  Andra Hugo 911f574418 rename functions to be cleared what they do před 12 roky
  Andra Hugo 545f5f5b3b rename hyp last step před 12 roky
  Andra Hugo 7e934377b5 rename hyp step2 před 12 roky