| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Sat, 12 Jul 2014 20:19:51 +0200 | |
| changeset 70 | 3e2f7e6e449a |
| parent 69 | 43da71639190 |
| child 71 | be5353ce1865 |
| index.html | file | annotate | diff | comparison | revisions | |
| pics/map_of_china.jpg | file | annotate | diff | comparison | revisions | |
| pics/xingyuan.jpg | file | annotate | diff | comparison | revisions |
--- a/index.html Mon May 26 12:08:57 2014 +0100 +++ b/index.html Sat Jul 12 20:19:51 2014 +0200 @@ -126,7 +126,7 @@ The conference will be held in the last week of August (24th - 27th August 2015). We intend to organise an Isabelle tutorial before the -main conference and host any workshops on the 28th August, provided +conference and host any workshops on the 28th August, provided there is interest. <p>
