Hello, Peter. > But it seems that there is no full history at repo.or.cz. Yes, it was mirrored since r40000. Also, don't expect frequent updates, because I'm doing them from time to time only. -- With best regards, Anton Korobeynikov. Faculty of Mathematics & Mechanics, Saint Petersburg State University.