[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