summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle/isabelle-2009.ebuild (follow)
Commit message (Expand)AuthorAgeFilesLines
* Do not create isabelle desktop entryRené 'Necoro' Neumann2009-10-021-1/+0
* Add isabelle ebuildRené 'Necoro' Neumann2009-09-281-0/+102