projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd3a5ee) | patch
Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die to cd...
authorMark Wright <gienah@gentoo.org>
Mon, 9 Jan 2012 13:49:21 +0000 (13:49 +0000)
committerMark Wright <gienah@gentoo.org>
Mon, 9 Jan 2012 13:49:21 +0000 (13:49 +0000)
commit4fd9cae04eb91d99219197391bfb9764202b187c
tree5ea3525c266c4c853630f2e97d92220d68dd63fftree | snapshot
parentbd3a5eec9e0e7bb62065f120131b22561a778c27commit | diff
Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die to cd/pushd and tests. Require polyml with -portable.

Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
sci-mathematics/isabelle/ChangeLog diff | blob | history
sci-mathematics/isabelle/Manifest diff | blob | history
sci-mathematics/isabelle/isabelle-2011.1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.