var tocTab = new Array();var ir=0;
tocTab[ir++] = new Array ("Top", "Contents", "vod.html");
tocTab[ir++] = new Array ("0", "&#218;vod", "vod.html");
tocTab[ir++] = new Array ("1", "Pr&#237;klady pou&#382;itia", "PrkladyPouitia.html");
tocTab[ir++] = new Array ("2", "Syst&#233;mov&#233; Po&#382;iadavky", "SystmovPoiadavky.html");
tocTab[ir++] = new Array ("3", "Form&#225;t vstupnej gramatiky", "FormtVstupnejGramatiky.html");
tocTab[ir++] = new Array ("4", "Hlavn&#233; Menu", "HlavnMenu.html");
tocTab[ir++] = new Array ("5", "Okn&#225;", "");
tocTab[ir++] = new Array ("5.0", "Main", "Main.html");
tocTab[ir++] = new Array ("5.1", "Folder Difference", "FolderDifference.html");
tocTab[ir++] = new Array ("5.2", "File Difference", "FileDifference.html");
tocTab[ir++] = new Array ("5.3", "Grammar Edit", "GrammarEdit.html");
tocTab[ir++] = new Array ("5.4", "File 1 Edit", "FileEdit1.html");
tocTab[ir++] = new Array ("5.5", "File 2 Edit", "FileEdit2.html");
tocTab[ir++] = new Array ("5.6", "Token Table", "TokenTable.html");
tocTab[ir++] = new Array ("5.7", "Rule Table", "RuleTable.html");
tocTab[ir++] = new Array ("5.8", "DFA Table", "DFATable.html");
tocTab[ir++] = new Array ("5.9", "LALR Table", "LALRTable.html");
tocTab[ir++] = new Array ("5.10", "Log", "Log.html");
tocTab[ir++] = new Array ("5.11", "Options", "Options.html");
var nCols = 4;