[isabelle-dev] new isabelle interface

Makarius makarius at sketis.net
Tue Aug 26 10:53:42 CEST 2008


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



More information about the isabelle-dev mailing list