2012-02-12 urbanc correct RAG
2012-02-12 urbanc small polishing
2012-02-12 urbanc completed model section; vt has only state as argument
2012-02-11 urbanc added picture
2012-02-11 urbanc spell check; release
2012-02-11 urbanc fixed problem with back
2012-02-11 urbanc renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
2012-02-11 urbanc some polishing
2012-02-11 urbanc fixed problem with Latexsugar
2012-02-10 urbanc more on paper; modified schs functions; it is still compatible with the old definition
2012-02-10 urbanc more on paper
2012-02-09 urbanc attempt to fix problem by Xingyuan
2012-02-09 urbanc changes by Xingyuan
2012-02-09 urbanc more on the specification section
2012-02-08 urbanc corrections by Xingyuan
2012-02-07 urbanc more on paper
2012-02-07 urbanc more on paper
2012-02-06 urbanc paper updatated
2012-02-05 urbanc moved unused theories to Attic
2012-02-05 zhang README added.
2012-02-04 urbanc updated
2012-02-04 urbanc slight polishing
2012-02-03 urbanc a bit more on the introduction
2012-02-02 urbanc slight tuning
2012-02-01 urbanc more on intro
2012-02-01 urbanc more on intro
2012-02-01 urbanc more on intro
2012-02-01 urbanc slightly more on text
2012-02-01 zhang All comments added.
2012-01-30 urbanc spell check
(0) -100 -50 -30 +30 +50 tip