equal
deleted
inserted
replaced
136 </p> |
136 </p> |
137 |
137 |
138 <p> |
138 <p> |
139 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
139 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
140 conference (21 - 23 August), and<BR><BR> |
140 conference (21 - 23 August), and<BR><BR> |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
|
142 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
142 (27 - 29 August).<BR><BR> |
143 (27 - 29 August).<BR><BR> |
143 </p> |
144 </p> |
144 |
145 |
145 <H4><A NAME="dates"></A>Important Dates</H4> |
146 <H4><A NAME="dates"></A>Important Dates</H4> |
146 |
147 |