aboutsummaryrefslogtreecommitdiff
path: root/Practical1/report/report.tex
AgeCommit message (Expand)AuthorFilesLines
2015-11-04Final version report practical 1Camil Staps1-4/+5
2015-11-03Report organisation practical 1Camil Staps1-5/+4
2015-11-02Working on reportCamil Staps1-1/+4
2015-10-28P1 report: typo; margins; copyright; lemmas / proofs on one pageCamil Staps1-5/+4
2015-10-27Correctness proofsCamil Staps1-8/+14
2015-10-27Start report practical 1Camil Staps1-0/+81