Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. refer to session structure from resources;
  4. more scalable: avoid large strings on command-line;
  5. tuned;
  6. clarified bibtex_entries: refer to overall session structure;
  7. tuned signature;
  8. official collection for bit projection simplifications
  9. trival
  10. merged
  11. more de-applying
  12. bundles for reflected term syntax
  13. CONTRIBUTORS
  14. type alias for mixin bundles
Changeset 72618:b519d819d376 by wenzelm:
merged
Changeset 72617:5fc193537b7c by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 72616:217e6cf61453 by wenzelm:
refer to session structure from resources;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72615:f827c3bb6b7f by wenzelm:
more scalable: avoid large strings on command-line;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 72614:ffed574c65c3 by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 72613:d01ea9e3bd2d by wenzelm:
clarified bibtex_entries: refer to overall session structure;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72612:878c73cdfa0d by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 72611:c7bc3e70a8c7 by haftmann:
official collection for bit projection simplifications
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/String.thy (diff)
Changeset 72610:00fce84413db by paulson _lp15@cam.ac.uk_:
trival
The file was modified src/HOL/Bali/DefiniteAssignment.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Set.thy (diff)
Changeset 72609:b5c23767ddd5 by paulson:
merged
Changeset 72608:ad45ae49be85 by paulson _lp15@cam.ac.uk_:
more de-applying
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
Changeset 72607:feebdaa346e5 by haftmann:
bundles for reflected term syntax
The file was modified NEWS (diff)
The file was modified src/HOL/Code_Evaluation.thy (diff)
The file was modified src/HOL/Library/DAList.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Float.thy (diff)
The file was modified src/HOL/Library/IArray.thy (diff)
The file was modified src/HOL/Library/Interval.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Probability/PMF_Impl.thy (diff)
The file was modified src/HOL/Quickcheck_Exhaustive.thy (diff)
The file was modified src/HOL/Quickcheck_Random.thy (diff)
The file was modified src/HOL/Rat.thy (diff)
The file was modified src/HOL/Real.thy (diff)
Changeset 72606:e7ee815b04bf by haftmann:
CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
Changeset 72605:a4cb880e873a by haftmann:
type alias for mixin bundles
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/class_declaration.ML (diff)
The file was modified src/Pure/Isar/expression.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)