git.stderr.nl Git - matthijs/master-project/dsd-paper.git/search

projects / matthijs / master-project / dsd-paper.git / search

2010-01-27	Christiaan Baaij	Improve indenting of some of the verbatim stuff	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	improve description indenting and text wrapping	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Add cλash.tex to ignore list, as it is now generated...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Use lhs2tex for code and verbatim formatting	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Update VHDL command to use \small instead of \textsc	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Add quote command, and use it	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Wrap text to fit in 78 char line width	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Merge branch 'master' of http://git.stderr.nl/matthijs...	commit \| commitdiff \| tree
2010-01-26	Christiaan Baaij	Change \VHDL command, and use the \VHDL command more...	commit \| commitdiff \| tree
2010-01-26	Christiaan Baaij	Added reference to FL	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Add \CLasH command, update title	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Add some additional files to the ignore list	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Started on introduction, which required additional...	commit \| commitdiff \| tree
2010-01-22	Christiaan Baaij	Add some extra references on existing functional languages	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add .gitignore file	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add related work section	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add references bibtex file	commit \| commitdiff \| tree

Paper intended for DSD 2010

RSS Atom