Mercurial Mercurial > hg > public_html / 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 518 505a24fa0454
parent 517 1e453adc6bab
child 519 ed236da27439
equal deleted inserted replaced
517:1e453adc6bab 518:505a24fa0454 
    38     WIDTH="24%" 
    38     WIDTH="24%" 
    39     VALIGN="TOP" 
    39     VALIGN="TOP" 
    40     ROWSPAN="9">
 
    40     ROWSPAN="9">
 
    41 
    41 
    42 <B>Links</B><BR>
 
    42 <B>Links</B><BR>
 
    43 <A HREF="http://nms.kcl.ac.uk/christian.urban/index.html">Home</A><BR>
 
    43 <A HREF="https://nms.kcl.ac.uk/christian.urban/index.html">Home</A><BR>
 
    44 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
 
    44 <A HREF="https://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
 
    45 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
 
    45 <A HREF="https://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
 
    46 <A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
 
    46 <A HREF="https://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
 
    47 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
 
    47 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
 
    48 <BR>
 
    48 <BR>
 
    49 <BR>
 
    49 <BR>
 
    50 
    50 
    51 <B>Handy Information</B><BR>
 
    51 <B>Handy Information</B><BR>
 
    52 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> 
    52 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR>
public_html