Subject: Ssreflect Users Discussion List
List archive
- From: Vladimir Komendantsky <>
- To: ssreflect <>
- Subject: current ssreflect
- Date: Fri, 18 Feb 2011 15:19:46 +0000
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:content-type; b=GIfL5ZKJ3xGJznWFzXA0CM3GCb9jtFVgKTDm+tQeAF41WkDc/KZm3it5GBe/peJToh g0r0NqtLimvYk7rAyFPgzjqvKATLTrZdOm2JCRcFr5bAjDxnaNs+yDbE4bCIrhTZvvH0 FSnfw0LXmHV7Q8W59pZDqBUE3GH5JEK1+/wtw=
Is it possible to download the current state of ssreflect libraries without an INRIA gforge account? That would be handy since the release 1.2 doesn't seem to contain vectors. I'd like to try them in place of single-row matrices which are definable in 1.2.
Many thanks,
Vladimir
- current ssreflect, Vladimir Komendantsky, 02/18/2011
Archive powered by MHonArc 2.6.18.