Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified parent session images, to avoid duplicate loading of theories; tuned whitespace;
  2. avoid dead code;
  3. tuned whitespace;
  4. unused;
  5. avoid dead code;
  6. avoid dead code;
  7. avoid dead code;
  8. tuned whitespace;
  9. avoid dead code;
  10. avoid dead code;
  11. more parallel build;
Changeset 7859:a663f5cf7dfa by wenzelm:
clarified parent session images, to avoid duplicate loading of theories;<br>tuned whitespace;
The file was modified thys/Abstract-Rewriting/ROOT (diff)
The file was modified thys/Bernoulli/ROOT (diff)
The file was modified thys/Card_Number_Partitions/ROOT (diff)
The file was modified thys/Card_Partitions/ROOT (diff)
The file was modified thys/Discrete_Summation/ROOT (diff)
The file was modified thys/Integration/ROOT (diff)
The file was modified thys/LightweightJava/ROOT (diff)
The file was modified thys/PCF/ROOT (diff)
The file was modified thys/Trie/ROOT (diff)
Changeset 7858:31ec6c24b4b3 by wenzelm:
avoid dead code;
The file was modified thys/Abs_Int_ITP2012/Abs_Int1_parity.thy (diff)
The file was modified thys/Abs_Int_ITP2012/ROOT (diff)
Changeset 7857:d389d4a87da1 by wenzelm:
tuned whitespace;
The file was modified thys/CAVA_Automata/ROOT (diff)
Changeset 7856:0fdf4f0944ef by wenzelm:
unused;
The file was removedthys/CAVA_Automata/CAVA_Base/Code_Target_ICF.thy
Changeset 7855:35874c24eaab by wenzelm:
avoid dead code;
The file was modified thys/AWN/AWN_Term_Graph.thy (diff)
The file was modified thys/AWN/ROOT (diff)
Changeset 7854:f57b13d4757b by wenzelm:
avoid dead code;
The file was modified thys/SPARCv8/ROOT (diff)
The file was modified thys/Tycon/ROOT (diff)
The file was modified thys/Vickrey_Clarke_Groves/ROOT (diff)
Changeset 7853:c7ae790a4cb2 by wenzelm:
avoid dead code;
The file was modified thys/Markov_Models/ROOT (diff)
The file was modified thys/Markov_Models/ex/MDP_RP.thy (diff)
Changeset 7852:e78c8fe7a0f7 by wenzelm:
tuned whitespace;
The file was modified thys/Key_Agreement_Strong_Adversaries/ROOT (diff)
Changeset 7851:7968689d8799 by wenzelm:
avoid dead code;
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Code_Gen.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Init_State.thy (diff)
The file was removedthys/SPARCv8/SparcModel_MMU/Sparc_Model.thy
Changeset 7850:861b5bff0764 by wenzelm:
avoid dead code;
The file was modified thys/Proof_Strategy_Language/Example.thy (diff)
The file was modified thys/Proof_Strategy_Language/ROOT (diff)
Changeset 7849:6274e5f0cc46 by wenzelm:
more parallel build;
The file was modified thys/Polynomial_Factorization/ROOT (diff)