enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9c0b835d4cc2: proper pretty printing for latex output, notably for pide_session=true…
- Branches
- Unknown
- Tags