| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2022-03-29 | 1 | -4/+19 |
* | sci-mathematics/twelf: emake -j1 is sufficient to fix doc build | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2022-03-29 | 1 | -6/+2 |
* | sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2022-03-27 | 6 | -16/+131 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/twelf: eutils-- | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-04-18 | 1 | -2/+2 |
* | sci-mathematics/twelf: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 1 | -113/+0 |
* | sci-mathematics/twelf: Update virtual/emacs dependency. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2019-12-20 | 2 | -4/+4 |
* | sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2018-03-11 | 3 | -5/+132 |
* | sci-mathematics: Update Manifest hashes. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2017-12-10 | 1 | -1/+1 |
* | Drop $Id$ per council decision in bug #611234. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | fix quoting to a lot of patch calls | ![](//www.gravatar.com/avatar/7e0859c5d8faf5fa5906527bee488fc2?s=13&d=retro) Mike Frysinger | 2017-01-20 | 1 | -2/+2 |
* | sci-mathematics/twelf: Fix doc generation | ![](//www.gravatar.com/avatar/7c0899ad3f494dfea5033cb1fdd3a298?s=13&d=retro) Vikraman Choudhury | 2016-02-11 | 1 | -0/+1 |
* | sci-mathematics/twelf: Fix typo | ![](//www.gravatar.com/avatar/7c0899ad3f494dfea5033cb1fdd3a298?s=13&d=retro) Vikraman Choudhury | 2016-02-11 | 1 | -2/+2 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Revert DOCTYPE SYSTEM https changes in metadata.xml | ![](//www.gravatar.com/avatar/343db2c9bfc4d041109000a3284478c3?s=13&d=retro) Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
* | Use https by default | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2015-08-24 | 1 | -1/+1 |
* | proj/gentoo: Initial commit | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2015-08-08 | 10 | -0/+641 |