Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-26 | Finish report UPPAAL assignmentHEADmaster | Camil Staps | 1 | -10/+7 |
2015-10-25 | Not needed to use the extarticle class | Camil Staps | 1 | -1/+1 |
2015-10-25 | Finished report; added last query | Camil Staps | 1 | -20/+76 |
2015-10-16 | Start report UPPAAL assignment | Camil Staps | 1 | -0/+95 |