anchor.diff:  
       response.setContentType("text/html; charset="+wiki.getContentEncoding() );
   
  -    if( delete != null )
  +    if( deleteall != null )
       {
           log.info("Deleting page "+pagereq+". User="+request.getRemoteUser()+", host="+request.getRemoteAddr() );
   
  +        wiki.deletePage( pagereq );
           response.sendRedirect(wiki.getViewURL(pagereq));
           return;
  +    }
  +    else if( delete != null )
  +    {
  +        log.info("Deleting a range of pages from "+pagereq);
  +        
  +        for( Enumeration params = request.getParameterNames(); params.hasMoreElements(); )
  +        {
  +            String paramName = (String)params.nextElement();
  +            
  +            if( paramName.startsWith("delver") )
  +            {
  +                int version = Integer.parseInt( paramName.substring(7) );
  +                
  +                WikiPage p = wiki.getPage( pagereq, version );
  +                
  +                log.debug("Deleting version "+version);
  +                wiki.deleteVersion( p );
  +            }
  +        }
  +        
  +        response.sendRedirect(wiki.getURL( WikiContext.INFO, pagereq, null, false ));
  +        return; 
       }
   
       // FIXME: not so.
  
positive.code: 
      if( !mgr.checkPermission( wikiContext.getPage(),
                                currentUser,
                                WikiPermission.newInstance("delete") ) )
      {
          log.info("User "+currentUser.getName()+" has no access - redirecting to login page.");
          String pageurl = wiki.encodeName( pagereq );
  
negative.code:     WikiPage wikipage      = wikiContext.getPage();
      WikiPage latestversion = wiki.getPage( pagereq );
  
      String delete = wiki.safeGetParameter( request, "delete" );
      String deleteall = wiki.safeGetParameter( request, "delete-all" );
  
      if( latestversion == null )
      {
          latestversion = wikiContext.getPage();
  