Re: [isabelle] Can I define direct sum of sets in R^n and R^m



On Tue, 6 Jul 2010, grechukbogdan wrote:

It is called Isabelle_01-Jul-2010.tar.gz

By the way, website says that "version is built automatically every night from the repository sources." -- why the last version is July 1 not July 5th ?

Because that build may fail, and even if it succeeds the result may be up to surprises. Embarking on snapshots or raw repository versions means you stop being a user and become an alpha/beta tester instead. Any problems you encounter can be discussed on the isabelle-dev mailing list.


	Makarius





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