On Mon, 25 Aug 2008, Chris Capel wrote: > > The latest sources are always available via > > http://isabelle.in.tum.de/repos/isabelle/ which even allows you to > > subscribe to the changelog via RSS/Atom, so you can immerse yourself in > > tons of fine-grained change messages :-) > > You have mentioned CVS a few times, and yet that link refers to > Mercurial. Is that a read-only mercurial mirror?
Yes. There is a cron job that sucks the changes from the CVS every hour and adds them to the Mercurial repository. In principle one could push changes onto the latter, but there is no practical way to put them back into the CVS. We are still working on getting more Isabelle people aquainted with Mercurial, so that we can get rid of CVS eventually. Makarius