[Jmlspecs-commits] web examples.shtml,1.9,1.10

[Gary T. L. <le...@us...>]

Update of /cvsroot/jmlspecs/web
In directory vz-cvs-3.sog:/tmp/cvs-serv26091

Modified Files:
	examples.shtml 
Log Message:
Fixing the link to the JavaCard API specs in JML.


Index: examples.shtml
===================================================================
RCS file: /cvsroot/jmlspecs/web/examples.shtml,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** examples.shtml	28 Aug 2006 20:27:48 -0000	1.9
--- examples.shtml	21 Oct 2011 18:24:28 -0000	1.10
***************
*** 47,52 ****
  
     <li>
!    <a href="http://www.sos.cs.ru.nl/research/escjava/esc2jcapi.html">
!    JML specifications for the Java Card API</a>, from Nijmegen.
     </li>
  
--- 47,53 ----
  
     <li>
!    <a href="http://www.cs.ru.nl/~woj/download/javacardapi_esc-0.9e.tgz">
!    JML specifications for the Java Card API (gzipped tar file)</a>, 
!    from Nijmegen.
     </li>