| drwxr-xr-x | [up] | |||
| drwxr-xr-x | hotel-reservation | files | ||
| drwxr-xr-x | pics | files | ||
| drwxr-xr-x | slides | files | ||
| drwxr-xr-x | travel | files | ||
| drwxr-xr-x | travel_guide | files | ||
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 43209 | HotelReservation.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 9230 | accepted.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 3637 | bids-2016.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 4619569 | booklet.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 47679 | booklet.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 4605346 | booklet2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 4605346 | booklet3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 4575221 | booklet4.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 4619569 | booklet5.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 45049 | cert.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 2573 | cert.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 25696 | cfp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 5276 | cfp.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 63348 | coq.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 11321 | history.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 10097 | index-bid.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 14338 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 3086 | invoice.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 317953 | itp-intro.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 7190947 | itp-photo.jpg | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 1847 | participants.db | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 2510 | pc | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 119496 | prog.pdf | file | revisions | annotate |
| -rw-r--r-- | 2015-08-27 09:20 +0800 | 119496 | prog1.pdf | file | revisions | annotate |
