pip.html
changeset 432 87c1ad539fc9
parent 87 c239594a49a7
child 508 75cb87ade00f
--- a/pip.html	Thu May 05 09:40:48 2016 +0100
+++ b/pip.html	Thu May 05 10:20:35 2016 +0100
@@ -45,14 +45,13 @@
 <BR><BR>
 
 The source code can be downloaded 
-<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>.
+<A HREF="http://talisker.inf.kcl.ac.uk/~urbanc/cgi-bin/repos.cgi/pip/">here</A>.
 <BR><BR><BR><BR>
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Feb 13 20:24:23 CET 2012
-<!-- hhmts end -->
+<P>
+<!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
+<!-- hhmts start --> Last modified: Thu May  5 10:20:23 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>