Je rozdil "by dokazat mohlo" a "dokze". Nechapu proc si to porad pletete.
Oto 'tapik' Buchta wrote:
Take mne tento flame nezajima, ale doporucuji vsem, aby netvrdili o
produktu, ktery neznaji, ze ten produkt je to ci ono, obzvlaste
lidem, kteri jsou v praci s onim produktem fakt dobri. Uvedu priklad:
pred 13 lety, kdyz jsem zacinal hloubs pronikat do sveta UNIXu, jsem
si spoustel Makubovo makro ve VI na pruchod bludistem :-D
Jen pro poradek, to macro jsem nenapsal, jenom nasel, zminka
o nem je kdesi hluboko v kompletni dokumentaci Vi :-)
Mimochodem, Vi makra maji silu Turingova stroje, a ten, jak
kazdy informatik ma vedet, dokaze podle Church-Turingovy teze
provest kazdy algoritmus, ktery je proveditelny, cili cokoliv.
Tudiz kdo chce tvrdit, ze Vi neco nedokaze, musi se poprat
primo s Turingem a Churchem. Oni uz jsou teda oba mrtvi,
ale obrazne mysleno. :-)
Eh, uz jsem zabrednul, tak toho radis necham.
Pro hracicky jenom odkaz na to bludiste:
http://www.vanhemert.co.uk/vim/
Makub
