Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. tuned GUI;
  3. permissive treatment of citations before the theory header: avoid too many changes in AFP;
  4. more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup; more Document_Build.running_script, but display it as "Running XYZ";
  5. clarified documentation: avoid odd speculations about PIDE;
Changeset 76997:d481dc154310 by wenzelm:
tuned;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 76996:6d847e27cafc by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76995:467f45e79ff9 by wenzelm:
permissive treatment of citations before the theory header: avoid too many changes in AFP;
The file was modified src/Pure/Thy/bibtex.ML (diff)
Changeset 76994:7c23db6b857b by wenzelm:
more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;<br>more Document_Build.running_script, but display it as &quot;Running XYZ&quot;;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76993:a6d147b22b9b by wenzelm:
clarified documentation: avoid odd speculations about PIDE;
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)