equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="utf-8"?> |
1 <?xml version="1.0" encoding="utf-8"?> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE> Christian Urban </TITLE> |
4 <TITLE> Christian Urban </TITLE> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
|
6 <script type="text/javascript"> |
|
7 |
|
8 var _gaq = _gaq || []; |
|
9 _gaq.push(['_setAccount', 'UA-4143458-4']); |
|
10 _gaq.push(['_trackPageview']); |
|
11 |
|
12 (function() { |
|
13 var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; |
|
14 ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; |
|
15 var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); |
|
16 })(); |
|
17 |
|
18 </script> |
6 </HEAD> |
19 </HEAD> |
7 |
20 |
8 <BODY TEXT="#000000" |
21 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
22 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
23 LINK="#0000EF" |
419 |
432 |
420 |
433 |
421 </TABLE> |
434 </TABLE> |
422 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
435 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
423 <!-- hhmts start --> |
436 <!-- hhmts start --> |
424 Last modified: Sat Oct 22 12:22:32 BST 2011 |
437 Last modified: Fri Oct 28 10:15:42 BST 2011 |
425 <!-- hhmts end --> |
438 <!-- hhmts end --> |
426 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
439 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
|
440 |
427 </BODY> |
441 </BODY> |
428 </HTML> |
442 </HTML> |