Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. override default of Isabelle_Process, notably for PIDE export of "document.tex";
  2. tuned queries;
  3. support for build_database_server (PostgreSQL); clarified signature;
  4. clarified store.clean_output: cleanup user_output_dir even in system_mode;
  5. clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
  6. tuned;
  7. clarified handling of output heap;
  8. tuned;
  9. added lemmas
Changeset 68223:88dd06301dd3 by wenzelm:
override default of Isabelle_Process, notably for PIDE export of "document.tex";
The file was modified src/Pure/Thy/document_antiquotation.ML (diff)
Changeset 68222:3c1a716e7f59 by wenzelm:
tuned queries;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68221:dbef88c2b6c5 by wenzelm:
support for build_database_server (PostgreSQL);<br>clarified signature;
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68220:8fc4e3d1df86 by wenzelm:
clarified store.clean_output: cleanup user_output_dir even in system_mode;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68219:c0341c0080e2 by wenzelm:
clarified store directories;<br>discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68218:92050155593e by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68217:3e90b88b0fc2 by wenzelm:
clarified handling of output heap;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68216:c0f86aee29db by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68215:a477f78a9365 by nipkow:
added lemmas
The file was modified src/HOL/List.thy (diff)