[isabelle-dev] Isabelle history via Mercurial

Gerwin Klein gerwin.klein at nicta.com.au
Fri Jul 4 00:08:35 CEST 2008

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).


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

More information about the isabelle-dev mailing list