Efficient Symbolic Tools / News: Recent posts

From October 2006, EST project is not maintained at SourceForge, anymore. It has been moved
to Savannah repository. You can get the latest source and view latest news at http://lms.uni-mb.si/EST/