Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified modules;
  2. clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys);
  3. tuned;
  4. more thorough update of required files (amending 1529c3eb6bac);
  5. clarified examples;
  6. tuned proofs;
  7. misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a);
Changeset 73815:43882e34c038 by wenzelm:
clarified modules;
The file was addedsrc/Pure/System/components.scala
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/components.scala
Changeset 73814:c8b4a4f69068 by wenzelm:
clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys);
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 73813:11f611494766 by wenzelm:
tuned;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 73812:90b64197bafd by wenzelm:
more thorough update of required files (amending 1529c3eb6bac);
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 73811:f143d0a4cb6a by wenzelm:
clarified examples;
The file was addedsrc/HOL/Examples/Sqrt.thy
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/ex/Sqrt_Script.thy (diff)
The file was removedsrc/HOL/ex/Sqrt.thy
Changeset 73810:1c5dcba6925f by wenzelm:
tuned proofs;
The file was modified src/HOL/ex/Sqrt.thy (diff)
Changeset 73809:ce9529a616fd by wenzelm:
misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a);
The file was modified src/HOL/ex/Sqrt.thy (diff)