anchor.diff:  
   <%
       String pagereq = wiki.safeGetParameter( request, "page" );
  -    String headerTitle = "Edit page ";
  +    String verstr  = request.getParameter("version");
  +    int    version = WikiProvider.LATEST_VERSION;
  +
  +    if( verstr != null )
  +    {
  +        version = Integer.parseInt(verstr);    
  +    }
   
       if( pagereq == null )
       {
  
positive.code: 
      String pageurl = wiki.encodeName( pagereq );
  
      String action = request.getParameter("action");
      String ok = request.getParameter("ok");
      String preview = request.getParameter("preview");
  
      //
  
negative.code: 
      String skin = wiki.getTemplateDir();
  
      NDC.push( wiki.getApplicationName()+":"+pagereq );    
  
      WikiPage wikipage = wiki.getPage( pagereq, version );
  
      if( wikipage == null )
      {
  