| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. |   Mark Wright | 2012-06-01 | 1 | -18/+8 |
| * | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. | Mark Wright | 2012-06-01 | 3 | -6/+21 |
| * | Remove spurious comment from site-init file for Emacs. |   Ulrich Müller | 2012-05-31 | 1 | -7/+17 |
| * | Remove spurious comment from site-init file for Emacs. | Ulrich Müller | 2012-05-31 | 2 | -3/+4 |
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | Mark Wright | 2012-05-30 | 1 | -0/+15 |
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | Mark Wright | 2012-05-30 | 4 | -0/+201 |
GitWeb