Subject: Ssreflect Users Discussion List
List archive
- From: Cyril Cohen <>
- To:
- Subject: Re: Issue with some notations exported by ssrnum
- Date: Fri, 01 Nov 2013 00:44:05 +0100
Hi ssreflect list,
On 24/08/2013 01:15, Cyril Cohen wrote:
> It seemed to me a good idea at the time, but I'm not sure anymore.
By the way, I tried to fix this issue in my last commit (cf svn revision
4593).
If you think this solution is bad for some reason, please complain.
Best,
--
Cyril
- Re: Issue with some notations exported by ssrnum, Cyril Cohen, 11/01/2013
Archive powered by MHonArc 2.6.18.