[isabelle-dev] new isabelle interface
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.
More information about the isabelle-dev