* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘CORAtool’ ...
** this is package ‘CORAtool’ version ‘0.1.2’
** package ‘CORAtool’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** data
*** moving datasets to lazyload DB
** inst
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘CORAtool’
    finding HTML links ... done
    CORAtool-package                        html  
    bergschlosser                           html  
    cora_compare_python                     html  
    cora_context                            html  
    cora_coverage_score                     html  
    cora_data_mining                        html  
    cora_describe                           html  
    cora_dnf                                html  
    cora_irredundant_sums                   html  
    cora_irredundant_systems                html  
    cora_logigram                           html  
    cora_petrick                            html  
    cora_pi_chart                           html  
    cora_pi_details                         html  
    cora_prime_implicants                   html  
    cora_python_available                   html  
    cora_recode                             html  
    cora_solutions                          html  
    cora_system_details                     html  
    cora_truth_table                        html  
    gross_carvin                            html  
    mccluskey                               html  
    swiss_minaret                           html  
** building package indices
** installing vignettes
** 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 (CORAtool)