# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1329191029 0
# Node ID c239594a49a72952cfd3024c32c1e46fcc3f873f
# Parent  8495d879012bb6092f066ee8a30dc30d7c2c3edc
added link

diff -r 8495d879012b -r c239594a49a7 pip.html
--- a/pip.html	Tue Feb 14 03:27:06 2012 +0000
+++ b/pip.html	Tue Feb 14 03:43:49 2012 +0000
@@ -44,13 +44,14 @@
 Paulson's inductive approach to verifying protocols.
 <BR><BR>
 
-
+The source code can be downloaded 
+<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>.
 <BR><BR><BR><BR>
 
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Thu Feb 28 20:24:23 CET 2008
+Last modified: Thu Feb 13 20:24:23 CET 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>