[isabelle-dev] Isabelle history via Mercurial

[Gerwin Klein]

I've heard nice things about mercurial and git (although I haven't  
used it myself).

I would stay away from bazaar, though. We have used it for seL4 and L4/ 
OKL4 development and it had a number of problems for larger  
developments (unstable, some commands taking ages, relatively  
difficult to use for newcomers).

Cheers,
Gerwin

On 04/07/2008, at 4:43 AM, Makarius wrote:

> As the result of some experiments with Mercurial, which is one
> representative of the upcoming generation of "distributed" version  
> control
> systems, the Isabelle history is now available online:
>
>  http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi
>
> The web interface allows to browse conveniently through 15 years of
> recorded history: the CVS era starts at Thu Sep 16 12:20:38 1993,  
> see the
> large (!) changeset 0 (hash key a5a9c433f639).
>
> Some pre-historical records of Isabelle development are also  
> available:
>
>  http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi/file/a5a9c433f639/edits.txt
>
>
> Right now the underlying data is retrieved from the official CVS
> repository every other hour. This means the website can be already  
> be used
> seriously, to query the history, or subscribe to changes via the rss/ 
> atom
> feed, or just learn how to use Mercurial.  Over time we will see if  
> it is
> feasible to convert the actual repository at some point.
>
> See http://www.selenic.com/mercurial/wiki/ for more information on the
> "hg" client of Mercurial.  The quick start is as follows:
>
>  hg clone http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi  
> isabelle-hg
>
> This will produce a self-contained clone of the online repository  
> (150MB
> of disk space).  An adhoc web service can then be spawned like this:
>
>  cd isabelle-hg; hg serve -v
>
> Now you can browse through this locally, using Firefox etc.
>
> Updates from the original version can be "pulled" later, see the fine
> Mercurial manuals.
>
>
> A general introduction to distributed version control is given here:
>
>  http://betterexplained.com/articles/intro-to-distributed-version-control-illustrated/
>
> The nice thing is that well-engineered systems like Mercurial and  
> Bazaar
> are actually easier to use than CVS or SVN, which have accumulated a  
> lot
> of legacy features over time.  Only the better-known git by Torvalds  
> is a
> bit more cryptic, being targeted at kernel hackers, but his Google  
> talk is
> quite interesting nonetheless.
>
>
> 	Makarius
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev