Commit graph

35 commits

Author SHA1 Message Date
a87dff82c4 doc: change title 2016-08-24 22:26:28 +02:00
e0e910cdc5 doc: add preface 2016-08-24 22:26:12 +02:00
4c3fb0bec9 introduction: add helper comments 2016-08-24 22:24:28 +02:00
080a667e66 thesis.tex: syntax improvements 2016-08-17 20:20:00 +02:00
cfc42a157e thesis.tex: mark as latexmain for latexmk 2016-08-17 20:20:00 +02:00
bd5fba5b26 thesis.tex: fix lacheck and latexmk warnings 2016-08-17 20:20:00 +02:00
d090943019 src/docs: add LaTeX structure and migrate content 2016-08-17 20:20:00 +02:00
7b960dad09 shell.nix: init 2016-08-17 20:20:00 +02:00
a76ce5cff7 thesis.md: add TODOs and title 2016-08-17 20:18:23 +02:00
c5f9db9768 thesis: correct typos 2016-08-10 11:45:39 +02:00
a0685787b1 README: add outlook section 2016-08-09 18:37:09 +02:00
48307e97df thesis doc. WIP 2015-10-21 00:59:06 +02:00
f2c8deca8a thesis doc. WIP 2015-10-21 00:41:11 +02:00
217f8ec515 talk with jon notes 2015-10-20 20:39:03 +02:00
70f8c045d0 talk with jon notes 2015-10-20 20:37:38 +02:00
e07c941945 thesis doc. WIP 2015-10-20 20:15:17 +02:00
ac70242d43 thesis doc. WIP 2015-10-20 20:14:08 +02:00
7cce4251b8 thesis doc. WIP 2015-10-20 20:07:15 +02:00
535313e2e0 fix broken link 2015-10-20 19:54:31 +02:00
93e48d45bd TODO markers and typo fixes 2015-10-20 19:50:47 +02:00
3b73778483 thesis doc: begin to explain the motivational background 2015-10-20 19:38:50 +02:00
ad888b59bc docs: start thesis introduction 2015-10-01 16:50:57 +02:00
Stefan Junker
09da9845e0 Merge pull request #1 from jonboulle/package-centric-containers
README: minor cleanup
2015-07-29 22:35:58 +02:00
Jonathan Boulle
998ccf016c README: minor cleanup 2015-07-29 09:55:55 -07:00
be0e757b67 rewordings 2015-07-29 18:03:35 +02:00
e292472fe6 rewordings 2015-07-29 18:02:25 +02:00
ae1a69524d rewordings 2015-07-29 17:57:58 +02:00
61b8101880 syntax changes 2015-07-29 17:57:17 +02:00
a504a34f66 add link to tardelta 2015-07-29 17:42:57 +02:00
b5f1951076 enrich descrption 2015-07-29 17:39:40 +02:00
961e74e8f3 fixed wording 2015-07-29 16:22:50 +02:00
29f5a1394d fixed wording 2015-07-29 16:19:23 +02:00
304f2b2e32 fixed wording 2015-07-29 16:15:32 +02:00
d935ba207e syntax fixes 2015-07-29 16:09:32 +02:00
e0a2e2bd35 Initial move from gist 2015-07-29 16:07:51 +02:00