[clean-list] Sparkle manual

[Dmitry Malenko]

Hi, All!

Is there any manual on using Sparkle besides "Theorem proving for
functional programmers" paper avaliable? What is the syntax used for
entering new thorems?

BTW What is current status of Sparkle? Is there any ongoing development?
Last 0.0.3a from Jan 2002 seems a bit outdated.

-- 
Best regards,
Dmitry Malenko.

+----------------------------------------------------+
Registered Linux user    #258004
ALT Linux Team		 http://www.altlinux.ru
Titano project           http://titano.sourceforge.net
+----------------------------------------------------+
 U       X
e dUdX, e dX, cosine, secant, tangent, sine, 3.14159...