Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
  2. proper pretty printing for latex output, notably for pide_session=true (default);
Changeset 72076:bd9d1ce274c9 by wenzelm:
enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72075:9c0b835d4cc2 by wenzelm:
proper pretty printing for latex output, notably for pide_session=true (default);
The file was modified src/Pure/General/pretty.ML (diff)
The file was modified src/Pure/Thy/document_antiquotation.ML (diff)