app-emacs/proofgeneral/ChangeLog


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 app-emacs/proofgeneral
# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.5 2004/06/20 13:15:13 mattam Exp $

*proofgeneral-3.5 (20 Jun 2004)

  20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.5.ebuild:
  New version, we now use their makefile (not always non-interactive) and
  site file.

  20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild:
  Move to stable.

  15 Mar 2004; Mamoru KOMACHI <usata@gentoo.org> proofgeneral-3.4.ebuild:
  Fixed readonly variable assignment to PN and P. See bug #44712

  22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild:
  Fix URI's, site has changed location.

*proofgeneral-3.4 (21 Jan 2004)

  21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml,
  proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el:
  Initial version, related bug's #30394.