prio/Paper/Paper.thy
2012-02-11 urbanc spell check; release
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 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-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
2012-01-30 urbanc slight polishing
2012-01-30 urbanc more text
2012-01-30 urbanc added two paragraphs to the introduction
2012-01-29 zhang More explanations added by XY.
2012-01-27 urbanc changed abstract, intro and IsaMakefile
2012-01-27 zhang Newer version.
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip