Re: first version of prooftree in git

To: debian-ocaml-maint@lists.debian.org
Subject: Re: first version of prooftree in git
From: Hendrik Tews <tews@os.inf.tu-dresden.de>
Date: Wed, 23 May 2012 21:32:32 +0200
Message-id: <[🔎] 6x396q8zhr.fsf@blau.inf.tu-dresden.de>
In-reply-to: <[🔎] 4FBD01FE.9040002@debian.org> ("Stéphane Glondu"'s message of "Wed, 23 May 2012 17:27:58 +0200")
References: <[🔎] 20402.9000.853093.435255@wallace.tews.net> <[🔎] 4FBB3462.7060605@debian.org> <[🔎] 6xehqbdkfq.fsf@blau.inf.tu-dresden.de> <[🔎] 4FBD01FE.9040002@debian.org>

Stéphane Glondu <glondu@debian.org> writes:

   This is not acceptable to me. [...]

I don't fully agree, but I see your point. I suggest to wait then
with prooftree until Coq 8.4 enters testing.

Bye,

Hendrik

Reply to:

References:
- first version of prooftree in git
  - From: Hendrik Tews <hendrik@askra.de>
- Re: first version of prooftree in git
  - From: Stéphane Glondu <glondu@debian.org>
- Re: first version of prooftree in git
  - From: Hendrik Tews <tews@os.inf.tu-dresden.de>
- Re: first version of prooftree in git
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: Re: first version of prooftree in git
Next by Date: Accepted approx 5.2-1 (source amd64)
Previous by thread: Re: first version of prooftree in git
Next by thread: Processing of ocamlgraph_1.8.2-1_amd64.changes
Index(es):
- Date
- Thread