equal
deleted
inserted
replaced
99 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
99 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
100 Workshops</span></td> |
100 Workshops</span></td> |
101 </tr> |
101 </tr> |
102 |
102 |
103 <tr> |
103 <tr> |
104 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td> |
104 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td> |
105 </tr> |
105 </tr> |
106 |
106 |
107 <tr> |
107 <tr> |
108 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td> |
108 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td> |
109 </tr> |
109 </tr> |
110 |
110 |
111 </tbody> |
111 </tbody> |
112 </table> |
112 </table> |
113 |
113 |