| 2015-08-13 | chunhan | update | file | diff | annotate |
| 2015-08-13 | Christian Urban |
updated | file | diff | annotate |
| 2015-08-13 | chunhan | update | file | diff | annotate |
| 2015-08-13 | chunhan | tiny update | file | diff | annotate |
| 2015-08-13 | chunhan | Michael's dates added | file | diff | annotate |
| 2015-08-13 | chunhan | add people who run local service | file | diff | annotate |
| 2015-08-13 | chunhan | update | file | diff | annotate |
| 2015-08-12 | chunhan | update | file | diff | annotate |
| 2015-08-12 | chunhan | update | file | diff | annotate |
| 2015-08-11 | chunhan | 2 more | file | diff | annotate |
| 2015-08-09 | chunhan | updated for xingyuan's money file | file | diff | annotate |
| 2015-08-07 | chunhan | 1 more for Coq | file | diff | annotate |
| 2015-08-06 | chunhan | 1 more for Coq | file | diff | annotate |
| 2015-08-06 | chunhan | 1 more for Isabelle | file | diff | annotate |
| 2015-08-04 | chunhan | 1 more | file | diff | annotate |