var MegrezLinks = new Array( 'home,', 'overview,', 'services:', '(mml query,', 'mml browser,', 'fm proof-read,', 'statistics,', 'remote,', 'classes,', 'download),', 'forum,', 'mus,', 'twiki,', 'mml,', 'submission,', 'fm,', 'ccl,', //'jct,', 'sum,', 'emacs,', //'xml,', //'classes,', 'merak,', 'dydaktyka' ); var WhiteMegrezLinks = new Array( 'home,', 'overview,', 'services:', '(mml query,', 'mml browser,', 'fm proof-read,', 'statistics,', 'remote,', 'classes,', 'download),', 'forum,', 'mus,', 'twiki,', 'mml,', 'submission,', 'fm,', 'ccl,', //'jct,', 'sum,', 'emacs,', //'xml,', //'classes,', 'merak,', 'dydaktyka' ); function BackgroundChoice(c, force){ // if ((location.search != '?white')&&(!force)) { // document.writeln(''); // } // else { document.writeln(''); // }; } function PrintTopline(a){ with (document) { writeln('
'); // if ((location.search != '?white') && (a != 111)) { // if (!a) {writeln('WHITE,')}; // for (var i = 0; i < MegrezLinks.length; i++) { // writeln(MegrezLinks[i]); // } // } // else { // if (!a) {writeln('BACKGROUND,')}; for (var i = 0; i < WhiteMegrezLinks.length; i++) { writeln(WhiteMegrezLinks[i]); } // } writeln('
'); } } function PrintBackgroundAndTopline(c){ BackgroundChoice(c); PrintTopline(); } function PrintTitleAndComment(T,C,a){ var s = location.search; if (a == 111) {s = '?white'}; with (document) { writeln(''); writeln(''); writeln('');} writeln('
Megrez services'); writeln('books

', T, '

'); if (C) {writeln('
', C, '
Formalized Mathematics'); writeln('Mizar project'); writeln('
'); } } function PrintTitle(T){ PrintTitleAndComment(T,''); } function PrintTitleFM(T){ with (document) { writeln(''); writeln(''); writeln('
Megrez services'); writeln('books

', T, '

'); writeln('		Formalized Mathematics'); writeln('Mizar project'); writeln('FM translator, bara'); writeln('
'); } } function PrintHead(T){ PrintTopline(); PrintTitle(T); } function PrintHeadFM(T){ PrintTopline(); PrintTitleFM(T); } //if (location.href.indexOf('mirror') != -1) { PrintTopline(111) };