Re: [isabelle] Isabelle2019-RC0: generate_file - documentation and behavior



On 09/04/2019 02:04, Dominique Unruh wrote:
>> Note that the isar-ref manual has a new section "5.11 Generated files
>> and external files" with more detailed explanations: I've written that a
>> few days ago, and if you find any mistakes in proof-reading, I will
>> revise that as well.
> 
> I see "5.11 External file dependencies" in the isar-ref bundled with
> RC0. I assume "a few days ago" refers to a more recent version?

No, it is the one I wrote for Isabelle2019-RC0.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.