equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" |
2 "http://www.w3.org/TR/REC-html40/loose.dtd"> |
2 "http://www.w3.org/TR/REC-html40/loose.dtd"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE>HGMP</TITLE> |
4 <TITLE>HGMP</TITLE> |
5 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="http://nms.kcl.ac.uk/christian.urban/"> |
6 </HEAD> |
6 </HEAD> |
7 |
7 |
8 <BODY TEXT="#000000" |
8 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
9 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
10 LINK="#0000EF" |