Merge branch 'master' of git.martlubbers.net:msc-thesis1617
[msc-thesis1617.git] / thesis.pre
2017-07-08 Mart Lubbersupdates
2017-07-04 Mart Lubbersfix date
2017-07-03 Mart Lubbersfix all latex warnings
2017-07-03 Mart Lubbersclean up and fix lstlistoflistings indentation
2017-06-29 Mart Lubbersadd bigger mtask example
2017-06-29 Mart LubbersMerge remote-tracking branch 'refs/remotes/origin/master'
2017-06-29 Mart Lubbersprocess rinus' comments chp 1-4
2017-06-29 Mart LubbersMerge branch 'master' of git.martlubbers.net:msc-thesis1617
2017-06-26 Mart LubbersHand in
2017-06-26 Mart Lubbersroy's comments: chapter 6
2017-06-26 Mart Lubbersroy's comments: chapter 5
2017-06-25 Mart Lubbersdemangle even more
2017-06-25 Mart Lubbersfix mangled page numbers
2017-06-24 Mart Lubbersmangle titlepage
2017-06-23 Mart Lubberschange document structure to a more intuitive one
2017-06-21 Mart Lubbersremoved todo, the end is near
2017-06-18 Mart Lubbersfix and elaborate upon parametric lenses
2017-06-18 Mart Lubbersformatting and acknowledgements
2017-06-11 Mart Lubberselaborate on communication
2017-06-08 Mart Lubbersnew titlepage
2017-06-06 Mart Lubbersadd stuff about assignments, class implementation etc
2017-06-04 Mart Lubbersadd connection diagrams and add todo combinators
2017-05-23 Mart Lubbersadd relevant research
2017-05-21 Mart Lubbersadd sections about the original mTask
2017-05-15 Mart Lubbersadd cites
2017-05-15 Mart Lubbersprocess notes in first sections
2017-05-10 Mart Lubbersupdate listing, polish arch, dsl and top
2017-05-02 Mart Lubbersadd taskvalue graph and split up methods
2017-04-29 Mart Lubbersadd images, update intro, add iTasks intro
2017-02-28 Mart Lubbersfix hyperref warnings
2017-02-28 Mart Lubbersmoved intro to abstract, added refs, test listing
2017-02-28 Mart Lubbersmake more detailed outline and add clean.sty
2017-02-17 Mart Lubbersupdate makefile and improve document structure
2017-02-08 Mart Lubbersadd glossary, appendix and specify protocol
2017-02-08 Mart Lubbersadd appendix and protocol
2017-02-03 Mart Lubbersadd toc, todo and outline
2017-02-03 Mart Lubbersadd hyperref
2017-02-02 Mart Lubbersupdate frontpage and test post-update hook
2017-02-02 Mart Lubbersadd preamble titlepage
2017-02-02 Mart Lubbersinitial commit