| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix XML. |   Jeroen Roovers | 2013-05-03 | 1 | -1/+1 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... |   Mark Wright | 2012-05-30 | 1 | -0/+4 |
| * | Fix bug #400961, thanks to Mr. Anderson for report and fix. | Mark Wright | 2012-01-30 | 1 | -0/+3 |
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 1 | -0/+36 |
GitWeb