]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/ChangeLog
added annotations to Cic.Implicit
[helm.git] / helm / DEVEL / mathml_editor / ChangeLog
1 editex (0.0.4-3) unstable; urgency=low
2
3   * Debugging printf commented out
4
5  -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Fri, 07 Nov 2003 13:52:01 +0200
6
7 editex (0.0.4-2) unstable; urgency=low
8
9   * Use .o objects from .libs directory so that they are PIC
10     (should fix build failure on hppa)
11
12  -- Stefano Zacchiroli <zack@debian.org>  Tue, 21 Oct 2003 14:53:01 +0200
13
14 editex (0.0.4-1) unstable; urgency=low
15
16   * New upstream release
17   * Rebuilt with ocaml 3.07, gmetadom 0.2.1, gtkmathview 0.5.1,
18     gdome-2xslt 0.0.6, lablgtk 1.2.6
19   * Use debian/compat instead of DH_COMPAT
20
21  -- Stefano Zacchiroli <zack@debian.org>  Fri, 10 Oct 2003 09:57:02 +0200
22
23 editex (0.0.3-2) unstable; urgency=low
24
25   * Signed by me
26   * debian/control
27     - added ${misc:Depends}
28     - bumped standards-version to 3.5.10
29     - bumped dependencies on gmetadom to 0.1.9
30     - changed section of -dev package to libdevel
31
32  -- Stefano Zacchiroli <zack@debian.org>  Wed, 25 Jun 2003 18:26:11 +0200
33
34 editex (0.0.3-1) unstable; urgency=low
35
36   * New upstream release.
37   * Bug fix: tml-litex.xsl was not installed
38   * Bug fix: Makefile.ac did not use pkg-config to look for the existence
39     of the required packages (that, in the meantime, started using pkg-config)
40     As a result, the required packages were no longer detected by ./configure
41
42  -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Thu, 19 Jun 2003 12:58:21 +0200
43
44 editex (0.0.2-1) unstable; urgency=low
45
46   * New upstream release.
47
48  -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Thu, 19 Jun 2003 12:58:21 +0200
49
50 editex (0.0.1-1) unstable; urgency=low
51
52   * Initial Release.
53
54  -- Stefano Zacchiroli <zack@debian.org>  Wed, 02 Apr 2003 15:53:25 +0200
55