Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Profiling in Makefile | Adam Chlipala | 2008-11-25 | |
* | Profiling support | Adam Chlipala | 2008-11-20 | |
* | Change 'sed' invocation to work in OSX | Adam Chlipala | 2008-10-25 | |
* | mkdir -p BIN | Adam Chlipala | 2008-10-25 | |
* | Add 'package' make target; add LICENSE | Adam Chlipala | 2008-10-24 | |
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |