2012-05-02 urbanc added section about PINTOS and rewritten multi-processor section
2012-04-30 urbanc slightly changed the definition of holdends and detached
2012-04-23 urbanc made changes for another journal submission of the MN-paper
2012-04-20 urbanc changes to get the files through for CU
2012-04-20 urbanc made changes for another journal submission of the MH-paper
2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy.
2012-04-17 urbanc added an acknowledgement
2012-04-17 urbanc some small tuning
2012-04-17 urbanc some small improvements
2012-04-16 urbanc ???-marks
2012-04-16 urbanc changes requested by the reviewers
2012-04-16 urbanc polished
2012-04-16 zhang The result for "Set" operation gets strengthened.
2012-04-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again
2012-03-06 urbanc typo
2012-02-28 urbanc fixed typo
2012-02-27 urbanc typo
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper
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 changed
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
(0) -300 -100 -50 -30 +30 tip