radu/LaTeX-examples: More than 570 examples for the usage of LaTeX. @ ec26b10919b4a9992e0af93fa57bdb28c20ee01d

Martin Thoma e9574df049 misc		12 gadi atpakaļ
..
Makefile	24301f9450 added draft for proof of correctnes for pogo algorithm	12 gadi atpakaļ
proof-of-correctness-pogo.pdf	e9574df049 misc	12 gadi atpakaļ
proof-of-correctness-pogo.tex	78b9ac5883 some more steps to completion of this proof	12 gadi atpakaļ