Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 06 Aug 2014 13:52:13 +0100
changeset 300 bd70a062ebb2
parent 299 7b5ec32a4c10
child 301 1d95918391c8
updated
bsc-projects-13.html file | annotate | diff | comparison | revisions
bsc-projects-14.html file | annotate | diff | comparison | revisions
index.html file | annotate | diff | comparison | revisions 
--- a/bsc-projects-13.html	Tue Aug 05 17:16:41 2014 +0100
+++ b/bsc-projects-13.html	Wed Aug 06 13:52:13 2014 +0100
@@ -5,7 +5,7 @@
 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 <script type="text/javascript" src="striper.js"></script>
 <link rel="stylesheet" href="nominal.css">
-<script type="text/javascript" src="https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 </HEAD>
 <BODY TEXT="#000000" 
@@ -574,7 +574,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Wed Jun  4 11:33:30 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Aug  5 17:38:32 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
--- a/bsc-projects-14.html	Tue Aug 05 17:16:41 2014 +0100
+++ b/bsc-projects-14.html	Wed Aug 06 13:52:13 2014 +0100
@@ -5,7 +5,7 @@
 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 <script type="text/javascript" src="striper.js"></script>
 <link rel="stylesheet" href="nominal.css">
-<script type="text/javascript" src="https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
+<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
 </script>
 </HEAD>
 <BODY TEXT="#000000" 
@@ -606,7 +606,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Mon Jul 28 21:08:53 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Aug  5 17:37:49 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
--- a/index.html	Tue Aug 05 17:16:41 2014 +0100
+++ b/index.html	Wed Aug 06 13:52:13 2014 +0100
@@ -157,8 +157,8 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair)
 <P>
 
-<B>Current RA</B> Chunhan Wu<BR>
-<B>Former RAs</B> <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, 
+<B>Current PhD</B> Fahad Ausaf<BR>
+<B>Former RAs</B>  Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, 
 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A>
 </TD>
 </TR>
@@ -330,7 +330,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Mar 25 16:12:01 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Aug  6 13:51:28 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
public_html