aboutsummaryrefslogtreecommitdiff
path: root/Practical1/report
AgeCommit message (Expand)AuthorFilesLines
2015-11-04Final version report practical 1Camil Staps6-62/+75
2015-11-03Report organisation practical 1Camil Staps3-6/+6
2015-11-02Working on reportCamil Staps4-43/+182
2015-10-28P1 report: typo; margins; copyright; lemmas / proofs on one pageCamil Staps1-5/+4
2015-10-27Correctness proofsCamil Staps3-49/+93
2015-10-27Start report practical 1Camil Staps5-0/+485