Dobry den! Mate nekdo nejake zkusennosti s Thoteditorem nebo MathPadem (editory pro obecne editovani v logicke strukture a exportem do obecneho tagoveho jazyka)? Pocestil to nekdo? S diky Michal Kvasnicka: http://www.econ.muni.cz/~qasar/