5 commits

Author	SHA1	Message	Date
Martin Thoma	7740f0147f	Remove trailing spaces ... The commands find . -type f -name '*.md' -exec sed --in-place 's/[[:space:]]\+$//' {} \+ and find . -type f -name '*.tex' -exec sed --in-place 's/[[:space:]]\+$//' {} \+ were used to do so.	2015-10-14 14:25:34 +02:00
Martin Thoma	e9574df049	misc	2013-05-18 13:44:47 +02:00
Martin Thoma	78b9ac5883	some more steps to completion of this proof	2013-05-18 13:40:50 +02:00
Martin Thoma	7847744f27	proof that we dont move too much	2013-05-18 12:49:47 +02:00
Martin Thoma	24301f9450	added draft for proof of correctnes for pogo algorithm	2013-05-18 11:20:00 +02:00