On Samat wrote:
Hi Michael,
If I understand well: for WLM2012: https://toolserver.org/~platonides/wlm2012/users.php for WLM2013: https://toolserver.org/~platonides/wlm2013/users.php I think both tools work well.
Best, Samat
That's right. And https://toolserver.org/~platonides/wlm/users.php the most recent WLM.