[T3] ================================================ AMAST Links 02 06

                    Isabelle 94 Available In Linux
               Jose Manuel E. Valenca <jmv@di.uminho.pt>

  This May Be Of Interest To Some Users: I Have An Implementation Of
Isabelle 94 In Linux Using New Jersey Ml 1.07. It Seems To Work Well.