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 |