]> mj.ucw.cz Git - ads2.git/history - 10-prevody
Korektury od Martina Jiricky.
[ads2.git] / 10-prevody /
2010-02-09 Martin MaresKorektury od Martina Pecky.
2010-02-09 Martin MaresKorektury od Honzy Michelfeita.
2010-01-10 Martin Mares*.stamp v repository nechceme.
2009-12-14 Martin MaresRevize prevodu.
2009-12-09 Martin MaresKapitola o prevodech problemu.
2009-10-08 Martin MaresPresun starych zapisku.
2008-01-21 Martin MaresTrochu lepe vysvetleno, jak se zaridi, aby se literal...
2008-01-14 Martin MaresDrobna vylepseni prevodu nezavisle mnoziny na SAT.
2008-01-14 Martin MaresPrepsal jsem uvod ke kapitole.
2008-01-14 Martin MaresNova verze kapitoly o prevodech.
2008-01-08 Martin MaresMerge with git+ssh://git.ucw.cz/home/mj/GIT/ads2.git
2008-01-07 Martin MaresOpravy drobnych preklepu (s diky Ondrovi Mocnemu).
2007-12-29 Martin MaresOpravena prehrsel preklepu, kterych si vsimla Jana...
2007-12-29 Martin MaresKorektury vsech kapitol od Bohumira Zamecnika. Diky...
2007-12-18 Martin MaresChybel konec \itemize.
2007-12-18 Martin MaresNulta verze kapitoly o prevodech.