summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)AuthorAge
* Further workGregor Kleen2019-05-30
|
* Much ado about nothingGregor Kleen2018-12-18
|
* Ignore generated cabal filesGregor Kleen2017-11-23
|
* Initial work on central definitionsGregor Kleen2017-11-13
|
* Cleaned up build frameworkGregor Kleen2017-10-25
|
* Provide literature.bibtexGregor Kleen2017-10-25
|
* Discuss Incremental Analysis of Real Programming LanguagesGregor Kleen2017-10-24
|
* Ignore compilation resultsGregor Kleen2017-10-24