Talk:Mizar: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Peter Schmitt
(del - page moved)
imported>Dmitrii Kouznetsov
m (misprint)
 
(One intermediate revision by the same user not shown)
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 diambig.
So, I suppress the tag.
[[User:Dmitrii Kouznetsov|Dmitrii Kouznetsov]] 04:26, 31 January 2010 (UTC)

Latest revision as of 23: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)