Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides ↵ | Morgan Deters | |
cvc4-c++-editing-mode from contrib/editing-with-emacs | |||
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; ↵ | Morgan Deters | |
regenerated configure script | |||
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from ↵ | Morgan Deters | |
repository history; re-ran update-copyright.pl; cleaned up some things with make | |||
2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters | |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters | |
2009-11-17 | from meeting | Morgan Deters | |