* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘TUGLab’ ...
** this is package ‘TUGLab’ version ‘0.0.1’
** package ‘TUGLab’ 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 ‘TUGLab’
    finding HTML links ... done
    additivecheck                           html  
    additivegame                            html  
    airfieldgame                            html  
    balancedcheck                           html  
    balancedfamilycheck                     html  
    belong2corecheck                        html  
    bin2lex                                 html  
    claimsgame                              html  
    coalitionweightedshapleyvalue           html  
    codebin2lex                             html  
    codelex2bin                             html  
    compromiseadmissiblecheck               html  
    constantsumgame                         html  
    convexcheck                             html  
    corecenterhitrun                        html  
    corecentervalue                         html  
    coredimension                           html  
    corevertices                            html  
    corevertices234                         html  
    degeneratecheck                         html  
    dualgame                                html  
    dummynull                               html  
    essentialcheck                          html  
    excesses                                html  
    getcoalition                            html  
    getcoalitionnumber                      html  
    getpermutation                          html  
    getpermutationnumber                    html  
    harsanyidividend                        html  
    kohlbergcriterion                       html  
    leastcore                               html  
    lex2bin                                 html  
    lorenzdominancerelation                 html  
    marginalgame                            html  
    marginalvector                          html  
    minimalrightsvector                     html  
    monotoniccheck                          html  
    museumpassgame                          html  
    myersonvalue                            html  
    normalizedgame                          html  
    nucleoluspcvalue                        html  
    nucleolusvalue                          html  
    owenvalue                               html  
    perfectcoregame                         html  
    plotcoreset                             html  
    plotcoresets                            html  
    prenucleolusvalue                       html  
    savingsgame                             html  
    sequencinggame                          html  
    shapleyvalue                            html  
    solidarityvalue                         html  
    solvels                                 html  
    strategicallyequivalentcheck            html  
    subgame                                 html  
    superadditivecheck                      html  
    symmetrycheck                           html  
    tailgame                                html  
    tauvalue                                html  
    totallybalancedcheck                    html  
    triangularup                            html  
    unanimitygame                           html  
    utopiapayoffsvector                     html  
    weightedmajoritygame                    html  
    weightedshapleyvalue                    html  
    zeromonotoniccheck                      html  
    zeronormalizedcheck                     html  
    zeronormalizedgame                      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 (TUGLab)