Talk:Mizar: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (del - page moved) |
imported>Dmitrii Kouznetsov (Suppress the tag) |
||
| Line 1: | Line 1: | ||
<!-- | |||
<noinclude>{{speedydelete|page moved, not needed|[[User:Peter Schmitt|Peter Schmitt]] 00:09, 30 January 2010 (UTC)}}</noinclude> | <noinclude>{{speedydelete|page moved, not needed|[[User:Peter Schmitt|Peter Schmitt]] 00:09, 30 January 2010 (UTC)}}</noinclude> | ||
#REDIRECT [[Talk:Mizar (software)]] | #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 diambgig. | |||
So, I suppress the tag. | |||
[[User:Dmitrii Kouznetsov|Dmitrii Kouznetsov]] 04:26, 31 January 2010 (UTC) | |||
Revision as of 22:26, 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 diambgig. So, I suppress the tag. Dmitrii Kouznetsov 04:26, 31 January 2010 (UTC)