In 2009 Mihailescu published a proof of the famous Leopoldt conjecture on the arxiv. Later on, in 2011, he published a 'lightweight' version that proves the conjecture for CM fields. Also compare

Is the Leopoldt conjecture almost always true?

But as far as I can see from MathSciNet, none of his papers has been published in any math journal. So here are my questions:

Has anybody information if Mihailescu intends to get his proof printed in some math journal or if it's destined solely to the arxiv (like Perelman has done) ?

In his obituary for Leopoldt from 10.01.2012, Roquette mentions in a footnote, "recently Mihailescu has announced a proof of Leopoldt's conjecture for all number fields". Is this a new announcement or refers Roquette to Mihailescu's 2009 paper ?

What's the current status of the Leopoldt conjecture ?

stay openonotheroccassions; this one seems purely gossip-y and weknowthat the author is not keen on this discussion to happen on MO. Also, 1. IMO is an inapropriate question to ask. 2. should be best asked to Roquette (though I guess if he did not add details he meant the one everybody knows about), and for 3. well most likely as a coupele of month ago. – user9072 Jun 17 '12 at 8:35