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.