Age | Commit message (Expand) | Author |
---|---|---|
2012-08-29 | To the build system: | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-22 | fix some build dependencies in options-building; should fix a strange bug And... | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-08-01 | fixes to some *clean targets | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |