summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
* sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.Mark Wright2018-03-111-5/+7
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* fix quoting to a lot of patch callsMike Frysinger2017-01-201-2/+2
* sci-mathematics/twelf: Fix doc generationVikraman Choudhury2016-02-111-0/+1
* sci-mathematics/twelf: Fix typoVikraman Choudhury2016-02-111-2/+2
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+111