| Commit message (Expand) | Author | Age | Files | Lines |
* | fix bug 466776 - typo in email address |  Mark Wright | 2013-05-25 | 3 | -18/+12 |
* | Update LICENSE from as-is to HPND, bug 418455. |  Ulrich Müller | 2012-12-14 | 3 | -8/+21 |
* | Remove the static-libs use flag, as upstream do not support static in a way t... |  Mark Wright | 2012-12-05 | 3 | -21/+27 |
* | Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk... |  Mark Wright | 2012-11-29 | 3 | -15/+18 |
* | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. |  Mark Wright | 2012-06-01 | 4 | -24/+29 |
* | Remove spurious comment from site-init file for Emacs. |  Ulrich Müller | 2012-05-31 | 3 | -10/+21 |
* | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. |  Mark Wright | 2012-05-30 | 5 | -0/+216 |