[isabelle-dev] Reasons mira crashes

Makarius makarius at sketis.net
Thu Nov 29 11:50:27 CET 2012


On Thu, 29 Nov 2012, Lars Noschinski wrote:

> Since some time they also provide hosting of mercurial repositories.

This is what I meant by "home-made".


 	Makarius



More information about the isabelle-dev mailing list