# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1537437612 -3600
# Node ID b0128f13314a37943d37f1893cd79233ee6637f0
# Parent  7d5fab5afade09d0f9857c8b7bcdf3f14f616326
updated

diff -r 7d5fab5afade -r b0128f13314a index.html
--- a/index.html	Thu Sep 20 10:58:18 2018 +0100
+++ b/index.html	Thu Sep 20 11:00:12 2018 +0100
@@ -181,9 +181,9 @@
 by Xingyuan Zhang and me<BR>
 <p>
 
-<B>Current PhDs</B>Chengsong Tan, Reham Alhejaili<BR>
-<B>Former PhD</B>Fahad Ausaf (works at ARM in the VHDL compiler team<BR>
-<B>Former RAs</B>Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, 
+<B>Current PhDs</B> Chengsong Tan, Reham Alhejaili<BR>
+<B>Former PhD</B> Fahad Ausaf (works at ARM in the VHDL compiler team<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><p>
 
   If I am not teaching or not doing research, I am sometimes in the lavender