| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove spurious comment from site-init file for Emacs. |   Ulrich Müller | 2012-05-31 | 1 | -2/+0 |
| | | | | | (Portage version: 2.1.10.63/cvs/Linux x86_64) | ||||
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. |   Mark Wright | 2012-05-30 | 1 | -0/+5 |
| (Portage version: 2.1.10.63/cvs/Linux x86_64) | |||||
GitWeb