[Termtools] Bug in MU-TERM

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Fri Mar 22 18:05:18 CET 2019

Previous message: [Termtools] Bug in MU-TERM
Next message: [Termtools] Bug in MU-TERM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 22.03.19 08:42, Raul Gutierrez wrote:

> ... bug in the last version of  MU-TERM. 

also visible in SRS_Standard/Gebhardt_06/10
(which has a loop, found by MnM, last year)

- J.W.

Previous message: [Termtools] Bug in MU-TERM
Next message: [Termtools] Bug in MU-TERM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list