| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cleanup old |   Thomas Beierlein | 2012-05-30 | 1 | -8/+4 |
| * | Cleanup old | Thomas Beierlein | 2012-05-30 | 3 | -65/+5 |
| * | Cleanup old | Thomas Beierlein | 2012-05-30 | 1 | -26/+5 |
| * | Cleanup old | Thomas Beierlein | 2012-05-30 | 9 | -1279/+10 |
| * | Limiting v8 dep to avoid crashes #417879 |   Patrick Lauer | 2012-05-30 | 1 | -4/+4 |
| * | Limiting v8 dep to avoid crashes #417879 | Patrick Lauer | 2012-05-30 | 4 | -4/+12 |
| * | Bump for #417955 | Patrick Lauer | 2012-05-30 | 1 | -1/+3 |
| * | Bump for #417955 | Patrick Lauer | 2012-05-30 | 2 | -1/+58 |
| * | Keywording assp-1.9 again | Patrick Lauer | 2012-05-30 | 1 | -2/+2 |
| * | Keywording assp-1.9 again | Patrick Lauer | 2012-05-30 | 2 | -3/+6 |
| * | Bump for #418029 | Patrick Lauer | 2012-05-30 | 1 | -1/+3 |
| * | Bump for #418029 | Patrick Lauer | 2012-05-30 | 2 | -1/+184 |
| * | use.mask socialweb |   Matt Turner | 2012-05-30 | 2 | -2/+9 |
| * | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. |   Mark Wright | 2012-05-30 | 1 | -0/+14 |
| * | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. | Mark Wright | 2012-05-30 | 3 | -0/+171 |
| * | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i... | Mark Wright | 2012-05-30 | 1 | -0/+14 |
| * | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i... | Mark Wright | 2012-05-30 | 3 | -0/+105 |
| * | 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 |
| * | keyword ~x86-fbsd |   Alexis Ballier | 2012-05-30 | 1 | -6/+6 |
| * | keyword ~x86-fbsd | Alexis Ballier | 2012-05-30 | 2 | -3/+7 |
| * | remove old | Alexis Ballier | 2012-05-30 | 1 | -126/+4 |
| * | remove old | Alexis Ballier | 2012-05-30 | 2 | -24/+5 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 1 | -5/+15 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 9 | -1/+687 |
| * | Initial import |   Sebastien Fabbro | 2012-05-30 | 1 | -2/+12 |
| * | Initial import | Sebastien Fabbro | 2012-05-30 | 8 | -0/+276 |
| * | Version bump. Add patch for bug #402285. |   Chí-Thanh Christopher Nguyễn | 2012-05-29 | 1 | -3/+4 |
| * | Version bump. Add patch for bug #402285. | Chí-Thanh Christopher Nguyễn | 2012-05-29 | 3 | -6/+46 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 1 | -5/+5 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 2 | -3/+7 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 1 | -9/+5 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 2 | -3/+6 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 1 | -9/+5 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-29 | 2 | -3/+7 |
| * | mask webkit-gtk[introspection] | Alexis Ballier | 2012-05-29 | 1 | -1/+4 |
| * | fix underlinking wrt #418121 |   Julian Ospald | 2012-05-29 | 1 | -9/+10 |
| * | fix underlinking wrt #418121 | Julian Ospald | 2012-05-29 | 3 | -3/+25 |
| * | Remove extra python shebangs that prevented applications to start when python... | Chí-Thanh Christopher Nguyễn | 2012-05-29 | 1 | -2/+2 |
| * | Remove extra python shebangs that prevented applications to start when python... | Chí-Thanh Christopher Nguyễn | 2012-05-29 | 2 | -2/+12 |
| * | Remove intltool.m4 to update it. #417563 |   Naohiro Aota | 2012-05-29 | 1 | -3/+23 |
| * | Remove intltool.m4 to update it. #417563 | Naohiro Aota | 2012-05-29 | 3 | -5/+11 |
| * | Security updates in the 1.8 & 10 branches for an IAX2 remote crash, bug #4181... |   Tony Vroon | 2012-05-29 | 1 | -22/+5 |
| * | Security updates in the 1.8 & 10 branches for an IAX2 remote crash, bug #4181... | Tony Vroon | 2012-05-29 | 4 | -292/+14 |
| * | Update Makefile.in.in. #417553 | Naohiro Aota | 2012-05-29 | 1 | -7/+17 |
| * | Update Makefile.in.in. #417553 | Naohiro Aota | 2012-05-29 | 2 | -2/+7 |
| * | Keyword ~mips |   Anthony G. Basile | 2012-05-29 | 1 | -11/+7 |
| * | Keyword ~mips | Anthony G. Basile | 2012-05-29 | 2 | -3/+6 |
| * | Keyword ~mips | Anthony G. Basile | 2012-05-29 | 1 | -2/+12 |
| * | Keyword ~mips | Anthony G. Basile | 2012-05-29 | 2 | -3/+6 |
GitWeb