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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and