[isabelle-dev] list_to_set_comprehension

2011-01-11 Thread Makarius 
Changes for list_to_set_comprehension keep coming in, and it seems to be 
not quite stabilized yet.


Where is the NEWS entry that tells users what to do in case of failure?

Yesterday I have tried to sanitize AFP/JinjaThreads in other repsects, but 
it did not work (the approximative versions are Isabelle/2aec4b8cd289 
AFP/6ac7d314792d).



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] list_to_set_comprehension

2011-01-11 Thread Lukas Bulwahn 

On 01/11/2011 05:42 PM, Makarius wrote:
Changes for list_to_set_comprehension keep coming in, and it seems to 
be not quite stabilized yet.


Where is the NEWS entry that tells users what to do in case of failure?



Here is the NEWS:

* New simproc that rewrites list comprehensions applied to List.set
to set comprehensions.
To deactivate the simproc for historic proof scripts, use:

  [[simproc del: list_to_set_comprehension]]

Yesterday I have tried to sanitize AFP/JinjaThreads in other repsects, 
but it did not work (the approximative versions are 
Isabelle/2aec4b8cd289 AFP/6ac7d314792d).


I have worked on Jinja and committed this morning (60003ac7ecd5: fixing 
Jinja theory due to new list_to_set_comprehension simproc).
I fail to build the JinjaThreads image on my local machine, but I do 
follow the AFP status reports.


Lukas


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 



___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev