Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. minor performance tuning: SQL.order_by is only for demo purposes;
  2. support efficient access to state updates, based on LEFT OUTER JOIN;
  3. tuned signature;
  4. tuned: prefer if_proper expression;
  5. tuned signature;
  6. tuned: prefer if_proper expression;
  7. New material by Wenda Li and Manuel Eberl
  8. merged
  9. export BNF properties about the cardinal bound (by Jan van Brügge)
Changeset 79863:81717ee51920 by wenzelm:
minor performance tuning: SQL.order_by is only for demo purposes;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79862:98d65411bfdb by wenzelm:
support efficient access to state updates, based on LEFT OUTER JOIN;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79861:47705d905420 by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79860:c49cb2a1ec44 by wenzelm:
tuned: prefer if_proper expression;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79859:bc979e334c7d by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79858:ee4864e17c11 by wenzelm:
tuned: prefer if_proper expression;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79857:819c28a7280f by paulson _lp15@cam.ac.uk_:
New material by Wenda Li and Manuel Eberl
The file was addedsrc/HOL/Analysis/Sparse_In.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Complex_Analysis/Meromorphic.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
Changeset 79856:ab651e3abb40 by traytel:
merged
Changeset 79855:3713ca49e32c by traytel:
export BNF properties about the cardinal bound (by Jan van Brügge)
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)