Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. setup server directory for Cygwin quasi-mirror;
  3. more scalable JVM memory management;
  4. tuned output;
  5. more general cache, also for term substructures;
  6. more exports; read_session: proper signature;
  7. generalized Cramer's rule
  8. tuned
  9. reorganization, everything based on Tree2 now
  10. avoid overaggressive classical rule
  11. By Andrei Popescu based on an initial version by Kasper F. Brandt
Changeset 68269:5ff0ccc74884 by wenzelm:
merged
Changeset 68268:38b4d4f39434 by wenzelm:
setup server directory for Cygwin quasi-mirror;
The file was addedAdmin/Windows/Cygwin/setup_server
Changeset 68267:6a29709906c6 by wenzelm:
more scalable JVM memory management;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68266:f13bb379c573 by wenzelm:
tuned output;
The file was modified src/Pure/General/cache.scala (diff)
Changeset 68265:f0899dad4877 by wenzelm:
more general cache, also for term substructures;
The file was addedsrc/Pure/General/cache.scala
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Pure/term.scala (diff)
Changeset 68264:bb9a3be6952a by wenzelm:
more exports;<br>read_session: proper signature;
The file was modified src/HOL/Tools/typedef.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68263:e4e536a71e3d by immler:
generalized Cramer&#039;s rule
The file was modified src/HOL/Analysis/Determinants.thy (diff)
Changeset 68262:d231238bd977 by nipkow:
tuned
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 68261:035c78bb0a66 by nipkow:
reorganization, everything based on Tree2 now
The file was addedsrc/HOL/Data_Structures/Set2_Join.thy
The file was addedsrc/HOL/Data_Structures/Set2_Join_RBT.thy
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Data_Structures/Set2_BST2_Join.thy
The file was removedsrc/HOL/Data_Structures/Set2_BST2_Join_RBT.thy
The file was removedsrc/HOL/Data_Structures/Set2_BST_Join.thy
Changeset 68260:61188c781cdd by haftmann:
avoid overaggressive classical rule
The file was modified NEWS (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Hoare_Parallel/RG_Examples.thy (diff)
The file was modified src/HOL/Library/Stream.thy (diff)
The file was modified src/HOL/ex/Parallel_Example.thy (diff)
Changeset 68259:80df7c90e315 by nipkow:
By Andrei Popescu based on an initial version by Kasper F. Brandt
The file was modified src/HOL/Wellfounded.thy (diff)