Mercurial Mercurial > hg > itp-2015 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
index.html
changeset 132 1e45c648d484
parent 131 a5c905a33751
child 133 7d35f05836fd
equal deleted inserted replaced
131:a5c905a33751 132:1e45c648d484 
   135 nearer the time. The proceedings will be published as usual in the LNCS
 
   135 nearer the time. The proceedings will be published as usual in the LNCS
 
   136 Series.
 
   136 Series.
 
   137 </p>
 
   137 </p>
 
   138 
   138 
   139 <p>
 
   139 <p>
 
       
   140 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
 
   140 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
 
   141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
 
   141 conference (21 - 23 August), and<BR><BR>
 
   142 conference (21 - 23 August), and<BR><BR>
 
   142 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a
 
   143 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a
 
   143 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 
   144 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 
   144 (27 - 29 August).<BR><BR>
 
   145 (27 - 29 August).<BR><BR>
itp-2015