Re: [isabelle] question about building HOL on cygwin



On Tue, 25 Apr 2006, Lawrence Paulson wrote:

> 1.  Download a recent development snapshot from
> http://isabelle.in.tum.de/devel/ (Beware, it is not guaranteed to work, and
> there will be differences from the last official version)

Just note that using Isabelle development snapshots is really at your own 
risk.  There are plenty of differences towards the stable Isabelle2005 
release, as well as plenty of ongoing changes proceeding very quickly.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.