Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more detailed platform information;
  2. proper Isabelle/Scala tool;
  3. more operations;
  4. tuned;
  5. merged;
  6. tuned message;
  7. tidied some messy proofs
  8. Merge
  9. Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
  10. more tests;
  11. stripped unused / obsolete material
Changeset 65072:36c650d1a90d by wenzelm:
more detailed platform information;
The file was modified NEWS (diff)
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 65071:9ed87c82cbe7 by wenzelm:
proper Isabelle/Scala tool;
The file was addedsrc/Pure/Admin/build_cygwin.scala
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedAdmin/lib/Tools/makedist_cygwin
Changeset 65070:1222c010bff7 by wenzelm:
more operations;
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 65069:1995b421d8ef by wenzelm:
tuned;
The file was modified src/Pure/General/url.scala (diff)
Changeset 65068:a2522ea43216 by wenzelm:
merged;
Changeset 65067:8bc9de2278c0 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 65066:c64d778a593a by paulson _lp15@cam.ac.uk_:
tidied some messy proofs
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
Changeset 65065:3d7ec12f7af7 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 65064:a4abec71279a by paulson _lp15@cam.ac.uk_:
Renamed ii to imaginary_unit in order to free up ii as a variable name.  Also replaced some legacy def commands
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Great_Picard.thy (diff)
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
The file was modified src/HOL/Analysis/Inner_Product.thy (diff)
The file was modified src/HOL/Analysis/Jordan_Curve.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Probability/Characteristic_Functions.thy (diff)
The file was modified src/HOL/Probability/Levy.thy (diff)
Changeset 65063:862157c7e78f by wenzelm:
more tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65062:dc746d43f40e by haftmann:
stripped unused / obsolete material
The file was modified src/HOL/Tools/code_evaluation.ML (diff)
The file was modified src/HOL/ex/Code_Timing.thy (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)