Talk:Mizar: Difference between revisions
Jump to navigation
Jump to search
imported>Dmitrii Kouznetsov (Suppress the tag) |
imported>Dmitrii Kouznetsov m (misprint) |
||
| Line 4: | Line 4: | ||
#REDIRECT | #REDIRECT | ||
!--> | !--> | ||
[[User:Peter Schmitt|Peter Schmitt]] 00:09, 30 January 2010 (UTC) | [[User:Peter Schmitt|Peter Schmitt]] 00:09, 30 January 2010 (UTC) | ||
had moved this article and this discussion. | had moved this article and this discussion. | ||
The old version of this disussion is now at [[Talk:Mizar (software)]] | 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). | 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 | No need to redirect, this file should continue as discussion of the diambig. | ||
So, I suppress the tag. | So, I suppress the tag. | ||
[[User:Dmitrii Kouznetsov|Dmitrii Kouznetsov]] 04:26, 31 January 2010 (UTC) | [[User:Dmitrii Kouznetsov|Dmitrii Kouznetsov]] 04:26, 31 January 2010 (UTC) | ||
Latest revision as of 22:27, 30 January 2010
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)