Revert to this revision

Syntax highlighting of 03a4191 ~( Archiv/Výroková a predikátová logika) 

I thank you humbly for srhanig your wisdom JJWY