[isabelle-dev] NEWS: document preparation with skip_proofs

*** 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

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

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