Talk:Mizar: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (Talk:Mizar moved to Talk:Mizar (software): disambig) |
imported>Dmitrii Kouznetsov m (misprint) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
#REDIRECT [[Talk:Mizar (software)]] | <!-- | ||
<noinclude>{{speedydelete|page moved, not needed|[[User:Peter Schmitt|Peter Schmitt]] 00:09, 30 January 2010 (UTC)}}</noinclude> | |||
#REDIRECT | |||
!--> | |||
[[User:Peter Schmitt|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. | |||
[[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)