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

On 01/05/2019 00:39, lammich at 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.


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