blob: e5a71f0c6a111a9d42f2f38142afb1c2e3e1e0b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# ChangeLog for sci-mathematics/e
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.6 2013/08/23 12:17:53 gienah Exp $
*e-1.8 (23 Aug 2013)
23 Aug 2013; Mark Wright <gienah@gentoo.org> +e-1.8.ebuild:
Bump E to 1.8 Jun Gopaldhara.
24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
fix bug 466776 - typo in email address
05 Dec 2012; Mark Wright <gienah@gentoo.org> e-1.5.ebuild, e-1.6.ebuild:
EAPI=5 with subslot depends to automatically rebuild e when isabelle is
updated if the isabelle use flag is enabled.
*e-1.6 (20 Sep 2012)
20 Sep 2012; Mark Wright <gienah@gentoo.org> +e-1.6.ebuild:
Bump E to 1.6 Tiger Hill
*e-1.5 (30 May 2012)
30 May 2012; Mark Wright <gienah@gentoo.org> +e-1.5.ebuild, +metadata.xml:
Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.
|
GitWeb
