2015-08-25 | chunhan | 2 paid at hotel | changeset | files |
2015-08-25 | Christian Urban |
updated prog | changeset | files |
2015-08-25 | Christian Urban |
updated | changeset | files |
2015-08-24 | Christian Urban |
added coq document | changeset | files |
2015-08-24 | Christian Urban |
updated | changeset | files |
2015-08-22 | Christian Urban |
updated | changeset | files |
2015-08-22 | Christian Urban |
updated | changeset | files |
2015-08-21 | Christian Urban |
updated | changeset | files |
2015-08-21 | Christian Urban |
updated | changeset | files |
2015-08-21 | Christian Urban |
merged | changeset | files |
2015-08-21 | chunhan | update | changeset | files |
2015-08-21 | Christian Urban |
update | changeset | files |
2015-08-21 | chunhan | merged | changeset | files |
2015-08-21 | chunhan | Ramana paid 359 GBP, enough to cover Isabelle | changeset | files |
2015-08-21 | Christian Urban |
updated | changeset | files |
2015-08-20 | Christian Urban |
updated | changeset | files |
2015-08-20 | Christian Urban |
updated | changeset | files |
2015-08-20 | Christian Urban |
updated | changeset | files |
2015-08-19 | Christian Urban |
updated booklet | changeset | files |
2015-08-19 | Christian Urban |
updated link | changeset | files |
2015-08-19 | Christian Urban |
updated | changeset | files |
2015-08-19 | Christian Urban |
updated | changeset | files |
2015-08-19 | chunhan | update | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated | changeset | files |
2015-08-18 | Christian Urban |
updated booklet | changeset | files |
2015-08-18 | Christian Urban |
updated booklet | changeset | files |
2015-08-18 | Christian Urban |
updated booklet | changeset | files |
2015-08-18 | Christian Urban |
updated receipts | changeset | files |
2015-08-18 | chunhan | 2 more for Coq | changeset | files |
2015-08-18 | chunhan | update | changeset | files |
2015-08-17 | Christian Urban |
updated statistics | changeset | files |
2015-08-17 | Christian Urban |
updated page | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
added invoice document | changeset | files |
2015-08-17 | Christian Urban |
updated booklet | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-17 | Christian Urban |
updated | changeset | files |
2015-08-16 | Christian Urban |
update | changeset | files |
2015-08-16 | Christian Urban |
updated | changeset | files |
2015-08-16 | Christian Urban |
updated booklet | changeset | files |
2015-08-16 | Christian Urban |
updated statistics | changeset | files |
2015-08-15 | Christian Urban |
updated booklet | changeset | files |
2015-08-15 | Christian Urban |
updated booklet | changeset | files |
2015-08-14 | Christian Urban |
updated | changeset | files |
2015-08-14 | Christian Urban |
updated | changeset | files |
2015-08-14 | Christian Urban |
booklet | changeset | files |
2015-08-14 | Christian Urban |
updated | changeset | files |
2015-08-13 | Christian Urban |
updated booklet | changeset | files |
2015-08-13 | Christian Urban |
updated booklet | changeset | files |
2015-08-13 | Christian Urban |
updated prog | changeset | files |
2015-08-13 | Christian Urban |
updated | changeset | files |
2015-08-13 | Christian Urban |
updated | changeset | files |
2015-08-13 | Christian Urban |
updated link to booklet | changeset | files |
2015-08-13 | Christian Urban |
updated | changeset | files |
2015-08-13 | Christian Urban |
updated booklet | changeset | files |
2015-08-13 | chunhan | update | changeset | files |
2015-08-13 | Christian Urban |
updated | changeset | files |
2015-08-13 | chunhan | update | changeset | files |
2015-08-13 | Christian Urban |
merged | changeset | files |
2015-08-13 | Christian Urban |
merge | changeset | files |
2015-08-13 | Christian Urban |
made smaller | changeset | files |
2015-08-13 | Christian Urban |
updated booklet | changeset | files |
2015-08-13 | chunhan | tiny update | changeset | files |
2015-08-13 | chunhan | Michael's dates added | changeset | files |
2015-08-13 | chunhan | add people who run local service | changeset | files |
2015-08-13 | chunhan | merge | changeset | files |
2015-08-13 | chunhan | update | changeset | files |
2015-08-12 | Christian Urban |
updated prog | changeset | files |
2015-08-12 | Christian Urban |
updated | changeset | files |
2015-08-12 | Christian Urban |
updated | changeset | files |
2015-08-12 | chunhan | update | changeset | files |
2015-08-12 | chunhan | update | changeset | files |
2015-08-11 | chunhan | 2 more | changeset | files |
2015-08-09 | chunhan | update travel guide | changeset | files |
2015-08-09 | chunhan | updated for xingyuan's money file | changeset | files |
2015-08-08 | chunhan | update | changeset | files |
2015-08-07 | chunhan | add travel guide | changeset | files |
2015-08-07 | chunhan | 1 more for Coq | changeset | files |
2015-08-06 | chunhan | 1 more for Coq | changeset | files |
2015-08-06 | chunhan | 1 more for Isabelle | changeset | files |
2015-08-04 | chunhan | 1 more | changeset | files |
2015-07-30 | Christian Urban |
updated | changeset | files |
2015-07-30 | Christian Urban |
updated | changeset | files |
2015-07-30 | chunhan | money transfer merged | changeset | files |
2015-07-29 | Christian Urban |
merged | changeset | files |
2015-07-27 | chunhan | one more | changeset | files |
2015-07-27 | chunhan | 1 more for isar+coq | changeset | files |
2015-07-26 | chunhan | 1 more for Isar | changeset | files |
2015-07-25 | chunhan | 2 more people | changeset | files |
2015-07-21 | Christian Urban |
updated 21.7.2015 | changeset | files |
2015-07-17 | chunhan | update | changeset | files |
2015-07-17 | chunhan | add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker. | changeset | files |
2015-07-17 | chunhan | update | changeset | files |
2015-07-16 | chunhan | update | changeset | files |
2015-07-16 | Christian Urban |
uodated | changeset | files |
2015-07-16 | Christian Urban |
added A Fox | changeset | files |
2015-07-15 | Christian Urban |
updated for 205.7.15 | changeset | files |
2015-07-15 | Christian Urban |
small update | changeset | files |
2015-07-15 | chunhan | update | changeset | files |
2015-07-14 | Christian Urban |
added Hetzl | changeset | files |
2015-07-13 | chunhan | merge | changeset | files |
2015-07-13 | chunhan | 29 | changeset | files |
2015-07-12 | Christian Urban |
updated statistics | changeset | files |
2015-07-12 | chunhan | add a Chinese introduction of the ITP conf | changeset | files |
2015-07-09 | chunhan | 28 registed | changeset | files |
2015-07-08 | chunhan | 27 registed | changeset | files |
2015-07-06 | chunhan | update | changeset | files |