]> mj.ucw.cz Git - saga.git/commit
Cleaning up verification chapter.
authorMartin Mares <mj@ucw.cz>
Sun, 16 Mar 2008 19:57:48 +0000 (20:57 +0100)
committerMartin Mares <mj@ucw.cz>
Sun, 16 Mar 2008 19:57:48 +0000 (20:57 +0100)
commit91a2e3f900548436b8bf764b2c8dcef62c00636c
tree236bcfb87a2159296c5659ea0e0c8dc7c115ab4c
parentc593da1c918fe6ed37610a61b2f2e276ad603931
Cleaning up verification chapter.
adv.tex