Re: pushed prooftree changes

To: debian-ocaml-maint@lists.debian.org
Subject: Re: pushed prooftree changes
From: Hendrik Tews <hendrik@askra.de>
Date: Sat, 14 Jan 2017 19:43:10 +0100
Message-id: <[🔎] 8760lhxz29.fsf@elite.askra.de>
In-reply-to: <[🔎] 20170114181208.vbyc3exoebrmkyih@seneca.home.org> (Ralf Treinen's message of "Sat, 14 Jan 2017 19:12:08 +0100")
References: <[🔎] 87y3ys86al.fsf@elite.askra.de> <[🔎] 20170113064800.lo2mw3uox7tff7m7@seneca.home.org> <[🔎] 87lgufz87i.fsf@elite.askra.de> <[🔎] 20170113190445.jh3q33znigargdp6@seneca.home.org> <[🔎] 20170114181208.vbyc3exoebrmkyih@seneca.home.org>

Ralf Treinen <treinen@free.fr> writes:

> I just uploaded prooftree, and will look at hol-light this
> weekend.

Thanks a lot!

Hendrik

Reply to:

References:
- pushed prooftree changes
  - From: Hendrik Tews <hendrik@askra.de>
- Re: pushed prooftree changes
  - From: Ralf Treinen <treinen@free.fr>
- Re: pushed prooftree changes
  - From: Hendrik Tews <hendrik@askra.de>
- Re: pushed prooftree changes
  - From: Ralf Treinen <treinen@free.fr>
- Re: pushed prooftree changes
  - From: Ralf Treinen <treinen@free.fr>

Prev by Date: Processing of prooftree_0.13-1_source.changes
Next by Date: prooftree_0.13-1_source.changes ACCEPTED into unstable
Previous by thread: Re: pushed prooftree changes
Next by thread: Bug#850071: tuareg-mode: Fail to install if emacs21 is installed.
Index(es):
- Date
- Thread