projects / matthijs / master-project / dsd-paper.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update choice figure to include equality test with Equiv
[matthijs/master-project/dsd-paper.git] / .gitignore
2010-02-11 Christiaan BaaijAdd extra meta-files to gitignore blob | commitdiff | raw
2010-01-27 Christiaan BaaijAdd cλash.tex to ignore list, as it is now generated... blob | commitdiff | raw | diff to current
2010-01-25 Christiaan BaaijAdd some additional files to the ignore list blob | commitdiff | raw | diff to current
2010-01-21 Christiaan BaaijAdd .gitignore file blob | commitdiff | raw | diff to current
Paper intended for DSD 2010