John,
The certificate we were using to sign the dmg installers expired, so
we're moving to a new one. It looks like you're seeing a dmg that was
signed with the old certificate.
We're still sorting things out with this new certificate, but once we
do, I'm expecting the error will disappear as wel
When I download either of the two OS X bundles, from
https://pre-release.racket-lang.org/installers/racket-7.1.0.900-i386-macosx.dmg
and
https://pre-release.racket-lang.org/installers/racket-7.1.0.900-x86_64-macosx.dmg
*by clicking on the respective links in Firefox*
… I wind up with a .dmg tha
Boom, Great.
On Tue, Jan 22, 2019 at 9:49 AM Vincent St-Amour
wrote:
>
> Sounds good.
>
> What do you think of this synthesis into one bullet item?
>
> - The racklog library has seen a number of improvements, including fixes
> to logic variable binding, logic variables containing predicates bei
Sounds good.
What do you think of this synthesis into one bullet item?
- The racklog library has seen a number of improvements, including fixes
to logic variable binding, logic variables containing predicates being
applicable, and the introduction of an `%andmap` higher-order predicate.
Vinc
On Mon, Jan 21, 2019 at 8:53 PM Leo Uino wrote:
>
> I'll defer to Jay, but the main points are:
>
> On Saturday, January 19, 2019 at 5:01:26 AM UTC+9, Vincent St-Amour wrote:
>>
>> Leo Uino
>> - lots of racklog changes
>
>
> Many cases of logic variable bindings being incorrectly unwound are now f
