add share update, albeit a bit ugly. also add device to share
[mTask.git] / Shares / mTaskShare.dcl
2017-03-21 Mart Lubbersadd share update, albeit a bit ugly. also add device...
2017-03-21 Mart Lubbersupdate spec, and shares
2017-03-15 Mart Lubbersstarted with device handshake
2017-03-13 Mart Lubbersshares are updated now and visible
2017-03-13 Mart Lubbersexistential types continued
2017-03-13 Mart LubbersBCValue is existential now
2017-03-12 Mart LubbersDynamic only in BCShare
2017-03-12 Mart Lubbersupdate a lot, try to type shares
2017-03-07 Mart Lubbersrewrite generation to rws
2017-03-06 Mart LubbersMerge branch 'master' of gitlab.science.ru.nl:mlubbers...
2017-03-06 Mart Lubbersupdate
2017-02-27 Mart Lubbersfinetune share viewing
2017-02-26 Mart Lubbersadd task deletion and acknowledgements
2017-02-26 Mart Lubbersmodularize more