Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -50 -30 +30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2012-08-10 zhang IsaMakefile modified changeset | files
2012-06-28 urbanc added some slides for an informal talk about PIP changeset | files
2012-06-21 urbanc corrected reference to Rostedt article changeset | files
2012-05-24 urbanc small typo in the itp-12 paper changeset | files
2012-05-11 urbanc typo changeset | files
2012-05-09 urbanc updated changeset | files
2012-05-09 urbanc comments by Xingyuan changeset | files
2012-05-03 urbanc some small editing changeset | files
2012-05-03 urbanc tuned paragraph on multiprocesors changeset | files
2012-05-02 urbanc added section about PINTOS and rewritten multi-processor section changeset | files
2012-04-30 urbanc slightly changed the definition of holdends and detached changeset | files
2012-04-23 urbanc made changes for another journal submission of the MN-paper changeset | files
2012-04-20 urbanc changes to get the files through for CU changeset | files
2012-04-20 urbanc made changes for another journal submission of the MH-paper changeset | files
2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy. changeset | files
2012-04-17 urbanc added an acknowledgement changeset | files
2012-04-17 urbanc some small tuning changeset | files
2012-04-17 urbanc some small improvements changeset | files
2012-04-16 urbanc ???-marks changeset | files
2012-04-16 urbanc changes requested by the reviewers changeset | files
2012-04-16 urbanc polished changeset | files
2012-04-16 zhang The result for "Set" operation gets strengthened. changeset | files
2012-04-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle changeset | files
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again changeset | files
2012-03-06 urbanc typo changeset | files
2012-02-28 urbanc fixed typo changeset | files
2012-02-27 urbanc typo changeset | files
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper changeset | files
2012-02-20 urbanc some polishing of the repository changeset | files
2012-02-16 urbanc one typo changeset | files
(0) -300 -100 -50 -30 +30 tip
regexp