| 2015-08-21 | chunhan | update | file | diff | annotate |
| 2015-08-21 | chunhan | Ramana paid 359 GBP, enough to cover Isabelle | file | diff | annotate |
| 2015-08-19 | Christian Urban |
updated | file | diff | annotate |
| 2015-08-19 | Christian Urban |
updated | file | diff | annotate |
| 2015-08-19 | chunhan | update | file | diff | annotate |
| 2015-08-18 | chunhan | 2 more for Coq | file | diff | annotate |
| 2015-08-18 | chunhan | update | file | diff | annotate |
| 2015-08-17 | Christian Urban |
updated statistics | file | diff | annotate |
| 2015-08-17 | Christian Urban |
updated | file | diff | annotate |
| 2015-08-16 | Christian Urban |
updated statistics | file | diff | annotate |
| 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 |
| 2015-07-30 | Christian Urban |
updated | file | diff | annotate |
| 2015-07-30 | Christian Urban |
updated | file | diff | annotate |
| 2015-07-30 | chunhan | money transfer merged | file | diff | annotate |
| 2015-07-29 | Christian Urban |
merged | file | diff | annotate |
| 2015-07-27 | chunhan | one more | file | diff | annotate |
| 2015-07-27 | chunhan | 1 more for isar+coq | file | diff | annotate |
| 2015-07-26 | chunhan | 1 more for Isar | file | diff | annotate |
| 2015-07-25 | chunhan | 2 more people | file | diff | annotate |
| 2015-07-21 | Christian Urban |
updated 21.7.2015 | file | diff | annotate |
| 2015-07-17 | chunhan | update | file | diff | annotate |
| 2015-07-17 | chunhan | add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker. | file | diff | annotate |
| 2015-07-17 | chunhan | update | file | diff | annotate |
| 2015-07-16 | chunhan | update | file | diff | annotate |
| 2015-07-16 | Christian Urban |
uodated | file | diff | annotate |
| 2015-07-16 | Christian Urban |
added A Fox | file | diff | annotate |
| 2015-07-15 | Christian Urban |
updated for 205.7.15 | file | diff | annotate |
| 2015-07-15 | Christian Urban |
small update | file | diff | annotate |
| 2015-07-15 | chunhan | update | file | diff | annotate |
| 2015-07-14 | Christian Urban |
added Hetzl | file | diff | annotate |
| 2015-07-13 | chunhan | merge | file | diff | annotate |
| 2015-07-13 | chunhan | 29 | file | diff | annotate |
| 2015-07-12 | Christian Urban |
updated statistics | file | diff | annotate |
| 2015-07-09 | chunhan | 28 registed | file | diff | annotate |
| 2015-07-08 | chunhan | 27 registed | file | diff | annotate |
| 2015-07-06 | chunhan | update | file | diff | annotate |
| 2015-07-04 | chunhan | update | file | diff | annotate |
| 2015-07-03 | Christian Urban |
updated | file | diff | annotate |
| 2015-07-03 | chunhan | update | file | diff | annotate |
| 2015-07-02 | chunhan | update | file | diff | annotate |
| 2015-06-30 | chunhan | update | file | diff | annotate |
| 2015-06-30 | chunhan | update | file | diff | annotate |
| 2015-06-26 | chunhan | update | file | diff | annotate |
| 2015-06-24 | chunhan | update | file | diff | annotate |
| 2015-06-23 | Christian Urban |
updated statistics file | file | diff | annotate |
| 2015-06-20 | chunhan | merge from fee | file | diff | annotate |
| 2015-06-16 | chunhan | update | file | diff | annotate |
| 2015-06-11 | chunhan | update | file | diff | annotate |
| 2015-06-08 | chunhan | Zoe and Arthur | file | diff | annotate |
| 2015-06-03 | chunhan | Pierre Wilke | file | diff | annotate |
| 2015-06-02 | chunhan | reservation of the hotel | file | diff | annotate |