Subversion using is started. Mathlib is almost done. Stay tuned for new releases! By the way, in a short time planning demo's source code will be commited in Subversion repository.
Log in to post a comment.