[developers] lui: no unification result of failure

Olga Zamaraeva olzama at uw.edu
Sat Sep 12 21:08:58 CEST 2020


Dear Developers,

Have you seen this behavior? (10 seconds video; basically, in some cases,
there is no unification result or failure, just no visible reaction on the
unification attempt)

https://youtu.be/Ifqn1iAodSg

Am I using the software wrong somehow (how? can you tell?), or is this a
bug?

I tried this with LKB FOS with the latest maclui but also with logon on
ubuntu.


Thanks!
-- 
Olga Zamaraeva
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20200912/04618d1b/attachment.html>


More information about the developers mailing list