* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘ExpRep’ ...
** package ‘ExpRep’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘ExpRep’
    finding HTML links ... done
    ApplicIntegralTheo                      html  
    Buffon                                  html  
    ExpRep-package                          html  
    Integral_Theorem                        html  
    Local_Theorem                           html  
    Poisson_Theorem                         html  
    S_Integral_Theorem                      html  
    S_Local_Limit_Theorem                   html  
    S_Poisson_Theorem                       html  
** building package indices
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* DONE (ExpRep)