Re: [isabelle] tools on Isabelle.
On 14.04.2011 10:52, li yongjian wrote:
1. Is there any proof script tranforming tool from old version to new
Isabelle has been updated very quickly. But it does not support the
old version of proof scripts.
For instance, constdefs command is not supported by the new version. I want
to ask whether a tool is available
to transfer the old proof script into new one supported by the new version
To my knowledge, there is no such tool, you need to update your theories
2. Mercurial repository.
Isabelle's development uses Mercury as version control tool.
Now is it possible to download the most recent version of some materials?
Is it readable for a user who is not a developper?
What command to use?
The repository URL is a bit hidden under Download / repository snapshot
/ Mercurial repository:
As there are often incompatible changes during development, I would
strongly suggest to use the latest release instead; unless you have a
This archive was generated by a fusion of
Pipermail (Mailman edition) and