Talk:Mizar
Jump to navigation
Jump to search
Peter Schmitt 00:09, 30 January 2010 (UTC) had moved this article and this discussion. The old version of this disussion is now at Talk:Mizar (software) The old version of the article is now at Mizar (software) (and already improved). No need to redirect, this file should continue as discussion of the diambig. So, I suppress the tag. Dmitrii Kouznetsov 04:26, 31 January 2010 (UTC)