prio/paper.pdf
2012-06-28 urbanc added some slides for an informal talk about PIP
2012-06-21 urbanc corrected reference to Rostedt article
2012-05-24 urbanc small typo in the itp-12 paper
2012-05-09 urbanc updated
2012-05-09 urbanc comments by Xingyuan
2012-05-03 urbanc some small editing
2012-05-03 urbanc tuned paragraph on multiprocesors
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-20 urbanc changes to get the files through for CU
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-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle
2012-03-06 urbanc typo
2012-02-28 urbanc fixed 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 key lemma
2012-02-14 urbanc fixed 1st paragraph
2012-02-14 urbanc 1st paragraph
less more (0) -50 -30 tip