Mart Lubbers [Mon, 3 Jul 2017 17:26:27 +0000 (19:26 +0200)]
rephrase to remove overfull hbox
Mart Lubbers [Mon, 3 Jul 2017 17:19:29 +0000 (19:19 +0200)]
fix all latex warnings
Mart Lubbers [Mon, 3 Jul 2017 16:32:04 +0000 (18:32 +0200)]
clean up and fix lstlistoflistings indentation
Mart Lubbers [Mon, 3 Jul 2017 15:53:01 +0000 (17:53 +0200)]
fix numbering in frontmatter
Mart Lubbers [Mon, 3 Jul 2017 15:29:28 +0000 (17:29 +0200)]
small title change
Mart Lubbers [Mon, 3 Jul 2017 15:19:24 +0000 (17:19 +0200)]
title capitalization
Mart Lubbers [Mon, 3 Jul 2017 15:13:13 +0000 (17:13 +0200)]
chktex erratum
Mart Lubbers [Mon, 3 Jul 2017 15:11:11 +0000 (17:11 +0200)]
make chktex stop complaining
Mart Lubbers [Mon, 3 Jul 2017 14:55:27 +0000 (16:55 +0200)]
fix example
Mart Lubbers [Mon, 3 Jul 2017 14:50:01 +0000 (16:50 +0200)]
note about peripherals
Mart Lubbers [Mon, 3 Jul 2017 14:41:50 +0000 (16:41 +0200)]
process camil's comments
Mart Lubbers [Mon, 3 Jul 2017 14:20:05 +0000 (16:20 +0200)]
chp 5 latest
Mart Lubbers [Mon, 3 Jul 2017 14:18:02 +0000 (16:18 +0200)]
camil's comment chp5
Mart Lubbers [Mon, 3 Jul 2017 13:06:59 +0000 (15:06 +0200)]
update
Mart Lubbers [Mon, 3 Jul 2017 12:55:10 +0000 (14:55 +0200)]
elaborate hb
Mart Lubbers [Sun, 2 Jul 2017 23:22:44 +0000 (01:22 +0200)]
no more before some sleep
Mart Lubbers [Sun, 2 Jul 2017 23:18:24 +0000 (01:18 +0200)]
small minor updates'
Mart Lubbers [Sun, 2 Jul 2017 23:13:52 +0000 (01:13 +0200)]
add notion on existential types, update interface
Mart Lubbers [Sun, 2 Jul 2017 20:17:58 +0000 (22:17 +0200)]
add factorial example'
Mart Lubbers [Sun, 2 Jul 2017 14:30:41 +0000 (16:30 +0200)]
update connectDevice functionality
Mart Lubbers [Sun, 2 Jul 2017 14:22:34 +0000 (16:22 +0200)]
.
Mart Lubbers [Sun, 2 Jul 2017 13:26:05 +0000 (15:26 +0200)]
elaborate on comm
Mart Lubbers [Sun, 2 Jul 2017 11:51:26 +0000 (13:51 +0200)]
elaborate on share usage
Mart Lubbers [Sat, 1 Jul 2017 14:49:33 +0000 (16:49 +0200)]
started with sweep through arch.itasks
Mart Lubbers [Sat, 1 Jul 2017 09:03:26 +0000 (11:03 +0200)]
devices
Mart Lubbers [Fri, 30 Jun 2017 17:50:20 +0000 (19:50 +0200)]
.
Mart Lubbers [Fri, 30 Jun 2017 17:12:20 +0000 (19:12 +0200)]
overviews updated
Mart Lubbers [Fri, 30 Jun 2017 17:05:43 +0000 (19:05 +0200)]
rename faulty files and elaborate in the system chapter
Mart Lubbers [Fri, 30 Jun 2017 16:54:13 +0000 (18:54 +0200)]
80 char limit and move glossary to the back
Mart Lubbers [Fri, 30 Jun 2017 06:39:21 +0000 (08:39 +0200)]
extend system overview
Mart Lubbers [Thu, 29 Jun 2017 21:48:21 +0000 (23:48 +0200)]
add bigger mtask example
Mart Lubbers [Thu, 29 Jun 2017 21:12:41 +0000 (23:12 +0200)]
add glue chapter
Mart Lubbers [Thu, 29 Jun 2017 20:56:11 +0000 (22:56 +0200)]
add system overview
Mart Lubbers [Thu, 29 Jun 2017 18:54:45 +0000 (20:54 +0200)]
say something about shields
Mart Lubbers [Thu, 29 Jun 2017 18:42:22 +0000 (20:42 +0200)]
restructure files
Mart Lubbers [Thu, 29 Jun 2017 14:29:30 +0000 (16:29 +0200)]
rm g
Mart Lubbers [Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)]
Merge remote-tracking branch 'refs/remotes/origin/master'
Mart Lubbers [Thu, 29 Jun 2017 14:28:48 +0000 (16:28 +0200)]
.
Mart Lubbers [Thu, 29 Jun 2017 12:34:51 +0000 (14:34 +0200)]
fix algorithm naming variables
Mart Lubbers [Thu, 29 Jun 2017 11:56:34 +0000 (13:56 +0200)]
elaborated on task and share storage
Mart Lubbers [Thu, 29 Jun 2017 11:22:08 +0000 (13:22 +0200)]
process rinus' textual comments on chp5-7
Mart Lubbers [Thu, 29 Jun 2017 10:28:38 +0000 (12:28 +0200)]
process rinus' comments chp 1-4
Mart Lubbers [Thu, 29 Jun 2017 10:19:40 +0000 (12:19 +0200)]
add second reader to titlepage
Mart Lubbers [Thu, 29 Jun 2017 07:50:02 +0000 (09:50 +0200)]
Merge branch 'master' of git.martlubbers.net:msc-thesis1617
Mart Lubbers [Wed, 28 Jun 2017 09:10:06 +0000 (11:10 +0200)]
presentation start
Mart Lubbers [Mon, 26 Jun 2017 12:39:35 +0000 (14:39 +0200)]
latest spelling sweep, now really going to send
Mart Lubbers [Mon, 26 Jun 2017 12:35:15 +0000 (14:35 +0200)]
Hand in
Mart Lubbers [Mon, 26 Jun 2017 12:33:36 +0000 (14:33 +0200)]
Final comments
Mart Lubbers [Mon, 26 Jun 2017 12:18:26 +0000 (14:18 +0200)]
Camil's comments: appendices
Mart Lubbers [Mon, 26 Jun 2017 12:05:39 +0000 (14:05 +0200)]
uniformize the mTask/sds spelling
Mart Lubbers [Mon, 26 Jun 2017 11:58:04 +0000 (13:58 +0200)]
Camil's comments: chapter 6
Mart Lubbers [Mon, 26 Jun 2017 11:44:16 +0000 (13:44 +0200)]
Camil's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 11:28:41 +0000 (13:28 +0200)]
Camil's comments: chapter 2-4
Mart Lubbers [Mon, 26 Jun 2017 11:19:08 +0000 (13:19 +0200)]
Camil's comments: chapter 1
Mart Lubbers [Mon, 26 Jun 2017 11:10:42 +0000 (13:10 +0200)]
Camil's comments: abstract
Mart Lubbers [Mon, 26 Jun 2017 10:55:36 +0000 (12:55 +0200)]
fix label
Mart Lubbers [Mon, 26 Jun 2017 10:52:19 +0000 (12:52 +0200)]
roy's comments: appendices
Mart Lubbers [Mon, 26 Jun 2017 10:51:51 +0000 (12:51 +0200)]
roy's comments: chapter 6
Mart Lubbers [Mon, 26 Jun 2017 10:47:54 +0000 (12:47 +0200)]
roy's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 10:36:19 +0000 (12:36 +0200)]
roy's comments: chapter 5
Mart Lubbers [Mon, 26 Jun 2017 10:25:45 +0000 (12:25 +0200)]
roy's comments: chapter 4
Mart Lubbers [Mon, 26 Jun 2017 10:17:31 +0000 (12:17 +0200)]
roy's comments: chapter 3
Mart Lubbers [Mon, 26 Jun 2017 10:14:57 +0000 (12:14 +0200)]
roy's comments: chapter 2
Mart Lubbers [Mon, 26 Jun 2017 10:11:15 +0000 (12:11 +0200)]
roy's comments: introduction
Mart Lubbers [Sun, 25 Jun 2017 12:33:19 +0000 (14:33 +0200)]
demangle even more
Mart Lubbers [Sun, 25 Jun 2017 12:30:20 +0000 (14:30 +0200)]
fix mangled page numbers
Mart Lubbers [Sat, 24 Jun 2017 18:22:26 +0000 (20:22 +0200)]
add return
Mart Lubbers [Sat, 24 Jun 2017 17:38:36 +0000 (19:38 +0200)]
mangle titlepage
Mart Lubbers [Sat, 24 Jun 2017 14:02:40 +0000 (16:02 +0200)]
sweep
Mart Lubbers [Fri, 23 Jun 2017 17:22:42 +0000 (19:22 +0200)]
results
Mart Lubbers [Fri, 23 Jun 2017 15:28:27 +0000 (17:28 +0200)]
Sweeping through the archg
Mart Lubbers [Fri, 23 Jun 2017 09:54:32 +0000 (11:54 +0200)]
change document structure to a more intuitive one
Mart Lubbers [Wed, 21 Jun 2017 18:29:14 +0000 (20:29 +0200)]
fix overfull hboxes and references
Mart Lubbers [Wed, 21 Jun 2017 16:28:03 +0000 (18:28 +0200)]
removed todo, the end is near
Mart Lubbers [Wed, 21 Jun 2017 14:05:12 +0000 (16:05 +0200)]
update conclusino
Mart Lubbers [Wed, 21 Jun 2017 13:34:25 +0000 (15:34 +0200)]
paragraphs in future, update on shares
Mart Lubbers [Tue, 20 Jun 2017 17:40:53 +0000 (19:40 +0200)]
dot
Mart Lubbers [Tue, 20 Jun 2017 16:45:04 +0000 (18:45 +0200)]
sweeeeep
Mart Lubbers [Mon, 19 Jun 2017 17:37:00 +0000 (19:37 +0200)]
sweep part
Mart Lubbers [Mon, 19 Jun 2017 16:27:20 +0000 (18:27 +0200)]
big final sweep
Mart Lubbers [Mon, 19 Jun 2017 14:12:07 +0000 (16:12 +0200)]
chapter names
Mart Lubbers [Mon, 19 Jun 2017 13:46:41 +0000 (15:46 +0200)]
update spec yet again
Mart Lubbers [Mon, 19 Jun 2017 13:10:43 +0000 (15:10 +0200)]
spec update
Mart Lubbers [Sun, 18 Jun 2017 17:35:56 +0000 (19:35 +0200)]
update abstract and acks
Mart Lubbers [Sun, 18 Jun 2017 09:12:04 +0000 (11:12 +0200)]
removed empty dir
Mart Lubbers [Sun, 18 Jun 2017 09:05:13 +0000 (11:05 +0200)]
extra cleaning options
Mart Lubbers [Sun, 18 Jun 2017 08:58:38 +0000 (10:58 +0200)]
fix and elaborate upon parametric lenses
Mart Lubbers [Sun, 18 Jun 2017 08:39:48 +0000 (10:39 +0200)]
formatting and acknowledgements
Mart Lubbers [Sun, 18 Jun 2017 07:59:55 +0000 (09:59 +0200)]
process the rest of george's comments
Mart Lubbers [Sun, 18 Jun 2017 07:32:16 +0000 (09:32 +0200)]
process george's comments in chapter 1-4
Mart Lubbers [Fri, 16 Jun 2017 17:33:20 +0000 (19:33 +0200)]
share details
Mart Lubbers [Fri, 16 Jun 2017 14:16:29 +0000 (16:16 +0200)]
shares
Mart Lubbers [Thu, 15 Jun 2017 08:46:17 +0000 (10:46 +0200)]
add interpreter part
Mart Lubbers [Wed, 14 Jun 2017 15:07:36 +0000 (17:07 +0200)]
interpr
Mart Lubbers [Wed, 14 Jun 2017 13:17:56 +0000 (15:17 +0200)]
elaborate on shares and not the split between sds and sdspub
Mart Lubbers [Wed, 14 Jun 2017 07:41:58 +0000 (09:41 +0200)]
spelling error in titlepage
Mart Lubbers [Wed, 14 Jun 2017 07:23:34 +0000 (09:23 +0200)]
process pieter's comments
Mart Lubbers [Tue, 13 Jun 2017 13:39:15 +0000 (15:39 +0200)]
Merge branch 'master' of git.martlubbers.net:msc-thesis1617
Mart Lubbers [Tue, 13 Jun 2017 13:39:09 +0000 (15:39 +0200)]
start with system
Mart Lubbers [Tue, 13 Jun 2017 12:57:01 +0000 (14:57 +0200)]
acknowledgements and parametric lenses
repositories / msc-thesis1617.git / log