From: | "Mark Wright (gienah)" <gienah@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo-x86 commit in sci-mathematics/isabelle: - New directory |
Date: | Sun, 08 Jan 2012 11:43:10 |
Message-Id: | 20120108114301.C49182004B@flycatcher.gentoo.org |