summaryrefslogtreecommitdiff
path: root/sci-mathematics (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Delete old stuffRené 'Necoro' Neumann2010-09-043-114/+0
|
* Do not create isabelle desktop entryRené 'Necoro' Neumann2009-10-022-2/+1
|
* Add isabelle ebuildRené 'Necoro' Neumann2009-09-283-0/+115