prio/Paper/Paper.thy
2012-02-27 urbanc typo
2012-02-20 urbanc some polishing of the repository
2012-02-16 urbanc one typo
2012-02-14 urbanc changes by Xingyuan
2012-02-14 urbanc live
2012-02-14 urbanc live
2012-02-14 urbanc draft
2012-02-14 urbanc draft
2012-02-14 urbanc key lemma
2012-02-14 urbanc fixed 1st paragraph
2012-02-14 urbanc 1st paragraph
2012-02-13 urbanc 1st paragraph
2012-02-13 urbanc polished implementation
2012-02-13 zhang Line numbers added.
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc more conclusion
2012-02-13 urbanc some parts of the conclusion
2012-02-13 urbanc proof idea
2012-02-13 urbanc added implementation section
2012-02-13 urbanc merged Xingyuan's changes
2012-02-13 urbanc polished
2012-02-13 urbanc more on the paper
2012-02-13 urbanc more on the paper
2012-02-13 urbanc assumptions
2012-02-13 urbanc some polishing
2012-02-12 urbanc some polishing
2012-02-12 urbanc contribution section
2012-02-12 urbanc lates
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 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
less more (0) -60 tip