init
Přidáno readme
Přidáno download tlačítko.
relativní cesta k souboru a1
Info o převodu gv -> svg
FSM fix
Doplnění poznámek
Update generovaného PDF
Induktivní podmínky
Negace induktivních podmínek; Update PDF
Doplněna struktura časovaných automatů
delay
Update generovaného PDF
Merge branch 'master' of github.com:illagrenan/mi-tes_sourhn
pridana zminka o 2 typech prechodu u casovejch automatu
Update PDF; Fix Syntaktického stromu
Delay automat v DOTu
Příklad s LTL do výrokové logiky
Fix formátování mezer
Fix převodu LTL