Re: [isabelle] Export files generated by code_export to hard drive



On 01/05/2019 00:39, lammich at in.tum.de wrote:
> What will be exported by this? Ie what does generated files contain. All
> files ever generated by the session?

All files from the current theory, unless you filter more specifically.


	Makarius





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