>> He sees no real problems being raised means that he will keep the name Oberon for that language? >That's right, as far as I can tell. Was the Oberon name not copyrighted by ETH?