[isabelle-dev] NEWS: document preparation with skip_proofs

[Makarius]

*** Document preparation ***

* Document preparation with skip_proofs option now preserves the content
more accurately: only terminal proof steps ('by' etc.) are skipped.


This refers to Isabelle/d0657c8b7616.


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

Re: [isabelle-dev] weird error message on startup

[Lawrence Paulson]

I was able to fix the problem by going to the afp-devel directory and typing 
“hg fetch". I guess some big incompatible changes had taken place.
Larry

> On 6 Dec 2017, at 22:32, Makarius  wrote:
> 
> On 06/12/17 15:48, Lawrence Paulson wrote:
>> I've just updated to a recent version (fa1173288322) and tried to run a 
>> session by the following command:
>> 
>> isabelle jedit -l HOL-Analysis CV.thy 
>> 
>> And then I get an alert box containing the appended text. Any idea what's 
>> going wrong here?
> 
> It looks like you have an alien AFP version in your ROOTS or -d options,
> one that does not fit to the Isabelle version.

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