Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified scope of "serial" and "numa_index" within database;
  3. clarified signature: allow more general init, e.g. from existing database;
  4. clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
  5. tuned;
  6. simplified somewhat pointless error message (see also 0189fe0f6452);
  7. clafified signature: simplify object-oriented reuse;
  8. revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec);
  9. tuned whitespace;
  10. merged
  11. Fixed a presentation error
  12. Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
Changeset 77417:9bd6c78b3b77 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77416:d88c12f22ab0 by wenzelm:
clarified scope of "serial" and "numa_index" within database;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77415:6b928419f109 by wenzelm:
clarified signature: allow more general init, e.g. from existing database;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77414:0d5994eef9e6 by wenzelm:
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 77413:1b56b5471c7d by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 77412:f37b02353519 by wenzelm:
simplified somewhat pointless error message (see also 0189fe0f6452);
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 77411:149cc77f7348 by wenzelm:
clafified signature: simplify object-oriented reuse;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 77410:cb2c19481fe7 by wenzelm:
revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec);
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 77409:d2711c9ffa51 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Concurrent/future.scala (diff)
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 77408:8fe30123aaab by paulson:
merged
Changeset 77407:02af8a1b97f6 by paulson _lp15@cam.ac.uk_:
Fixed a presentation error
The file was modified src/HOL/Algebra/Coset.thy (diff)
Changeset 77406:c2013f617a70 by paulson _lp15@cam.ac.uk_:
Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
The file was addedsrc/HOL/Algebra/SimpleGroups.thy
The file was addedsrc/HOL/Algebra/SndIsomorphismGrp.thy
The file was modified src/HOL/Algebra/Algebra.thy (diff)
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)