formal description done'
authorMart Lubbers <mart@martlubbers.net>
Sun, 13 Mar 2016 14:21:11 +0000 (15:21 +0100)
committerMart Lubbers <mart@martlubbers.net>
Sun, 13 Mar 2016 14:21:11 +0000 (15:21 +0100)
commit9fd7969c5c531b48524de182ecb5919e68d51257
tree485d8c5611b5c226602c30ea801accffb9c31e0c
parent36c7bbee78dc35e2311cfe62ede14fa8c58debb6
formal description done'
report1/mart.tex
report1/pre.tex
report1/report1.tex