aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2015-10-25Not needed to use the extarticle classCamil Staps1-1/+1
2015-10-25Finished report; added last queryCamil Staps2-20/+81
2015-10-23Assignment 8Camil Staps2-0/+51
2015-10-16Start report UPPAAL assignmentCamil Staps4-0/+95
2015-10-15Assignment 7Camil Staps1-0/+81
2015-10-15Start working on UPPAAL assignment; finished(?) modelCamil Staps2-0/+108
2015-10-08Assignment 6Camil Staps3-0/+61
2015-10-01Assignment 5, figures on new pageCamil Staps1-2/+2
2015-10-01Assignment 5Camil Staps1-0/+112
2015-09-25Finish assignment 4Camil Staps1-6/+15
2015-09-25Start assignment 4Camil Staps1-0/+51
2015-09-18Assignment 3Camil Staps1-0/+45
2015-09-09Organisation; assignment 2Camil Staps5-0/+119
2015-09-03Assignment 1Camil Staps1-0/+65
2015-09-03Initial commitCamil Staps2-0/+33