On Thu, 12 Feb 2015, Andreas Lochbihler wrote:
I have the impression that your push has not made it to the official
afp-code. At least, I cannot see it on
http://sourceforge.net/p/afp/code/ci/6ff9a8c6405d04f28365434a0e7bd65ea89aad86/log/
although my commits do show up there.
I have pushed i
Makarius,
I have the impression that your push has not made it to the official afp-code. At least, I
cannot see it on
http://sourceforge.net/p/afp/code/ci/6ff9a8c6405d04f28365434a0e7bd65ea89aad86/log/
although my commits do show up there.
Andreas
On 10/02/15 23:08, Makarius wrote:
On Tue,
On Tue, 10 Feb 2015, Makarius wrote:
Sourceforge is presently in down due to serious technical problems. This is
relevant for afp-devel.
Here is my own clone of it: https://bitbucket.org/makarius/afp-devel
In particular afp-devel/2aa8b0c283eb corresponds to
Isabelle/59817f489ce3 with its cha
Sourceforge is presently in down due to serious technical problems. This
is relevant for afp-devel.
Here is my own clone of it: https://bitbucket.org/makarius/afp-devel
In particular afp-devel/2aa8b0c283eb corresponds to Isabelle/59817f489ce3
with its changes on resolve_tac.
Makariu
