diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
| commit | 09ba3553204223ecb696e38a12d9036f6d1e966b (patch) | |
| tree | 5970cf74601c2a73a9ffbf99ce698380bb115a97 /dev-util/dialogblocks | |
| parent | Initial import (diff) | |
| download | gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.gz gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.bz2 gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.zip | |
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle).
(Portage version: 2.1.10.63/cvs/Linux x86_64)
Diffstat (limited to 'dev-util/dialogblocks')
0 files changed, 0 insertions, 0 deletions