@ -4,7 +4,7 @@
<eventdefs>
<!-- Spring 2011 -->
<eventitem date="2011-07-29" time="6 PM" room="askhader's house, see abstract" title="CTRL-D">
<eventitem date="2011-07-29" time="6 PM" room="home of askhader, see abstract" title="CTRL-D">
<short>
<p>
The end of another term is here, and so we're having our End-of-Term dinner.
