matthijs/master-project/dsd-paper.git
14 years agoAdd .gitignore file
Christiaan Baaij [Thu, 21 Jan 2010 08:25:03 +0000 (09:25 +0100)]
Add .gitignore file

14 years agoAdd related work section
Christiaan Baaij [Thu, 21 Jan 2010 08:22:54 +0000 (09:22 +0100)]
Add related work section

14 years agoAdd references bibtex file
Christiaan Baaij [Thu, 21 Jan 2010 08:22:08 +0000 (09:22 +0100)]
Add references bibtex file

14 years agoAdd some initial content about application, choice and types.
Matthijs Kooijman [Wed, 20 Jan 2010 17:26:29 +0000 (18:26 +0100)]
Add some initial content about application, choice and types.

All of this is copied directly from my thesis, examples and other stuff
has been left out and it still needs cutting down. Layout is still
broken in some places.

14 years agoAdd vim modeline.
Matthijs Kooijman [Wed, 20 Jan 2010 17:02:52 +0000 (18:02 +0100)]
Add vim modeline.

14 years agoAdd dummy macro for Haskell code.
Matthijs Kooijman [Wed, 20 Jan 2010 17:02:33 +0000 (18:02 +0100)]
Add dummy macro for Haskell code.

14 years agoAdd macros for certain acronyms in small caps.
Matthijs Kooijman [Wed, 20 Jan 2010 16:51:03 +0000 (17:51 +0100)]
Add macros for certain acronyms in small caps.

Doesn't work with the default font, though, but we'll sort that out
later.

14 years agoAdd a trivial makefile.
Matthijs Kooijman [Wed, 20 Jan 2010 16:47:07 +0000 (17:47 +0100)]
Add a trivial makefile.

14 years agoAdd initial section headings.
Matthijs Kooijman [Wed, 20 Jan 2010 16:32:22 +0000 (17:32 +0100)]
Add initial section headings.

14 years agoEmpty initial commit.
Matthijs Kooijman [Wed, 20 Jan 2010 16:17:39 +0000 (17:17 +0100)]
Empty initial commit.