| Tue, 28 Jul 2015 06:46:21 +0800 | chunhan | one more | file | diff | annotate |
| Mon, 27 Jul 2015 08:33:17 +0800 | chunhan | 1 more for isar+coq | file | diff | annotate |
| Sun, 26 Jul 2015 09:35:56 +0800 | chunhan | 1 more for Isar | file | diff | annotate |
| Sat, 25 Jul 2015 10:24:48 +0800 | chunhan | 2 more people | file | diff | annotate |
| Tue, 21 Jul 2015 19:19:03 +0100 | Christian Urban |
updated 21.7.2015 | file | diff | annotate |
| Fri, 17 Jul 2015 12:57:21 +0800 | chunhan | update | file | diff | annotate |
| Fri, 17 Jul 2015 12:50:46 +0800 | chunhan | add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker. | file | diff | annotate |