Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. test for Windows/Cygwin;
  3. extra trim_line for the sake of Windows;
  4. prevent sporadic disconnection;
  5. check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
  6. tuned
  7. NEWS
  8. HOL-Probability: generalize theorems about cumulative distribution function
  9. HOL-Probability: move stopping time from AFP/Markov_Models
  10. HOL-Probability: generalize type of essential supremum
  11. Repaired LaTeX in HOL-Data_Structures
  12. More on Fibonacci numbers
  13. build HTML library in Isabelle/Scala;
  14. proper echo; tuned;
  15. more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
Changeset 64328:2284011c341a by wenzelm:
merged
Changeset 64327:3e651d9ce601 by wenzelm:
test for Windows/Cygwin;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64326:ff3c383b9163 by wenzelm:
extra trim_line for the sake of Windows;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64325:47e03cb99274 by wenzelm:
prevent sporadic disconnection;
The file was modified etc/options (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64324:416f4d031afd by wenzelm:
check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
The file was modified src/Pure/Admin/check_sources.scala (diff)
Changeset 64323:20d15328b248 by nipkow:
tuned
Changeset 64322:72060e61ca9d by nipkow:
NEWS
The file was modified NEWS (diff)
Changeset 64321:95be866e49fc by hoelzl:
HOL-Probability: generalize theorems about cumulative distribution function
The file was modified src/HOL/Probability/Distribution_Functions.thy (diff)
Changeset 64320:ba194424b895 by hoelzl:
HOL-Probability: move stopping time from AFP/Markov_Models
The file was addedsrc/HOL/Probability/Stopping_Time.thy
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/Measurable.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
The file was modified src/HOL/Library/Stream.thy (diff)
The file was modified src/HOL/Probability/Giry_Monad.thy (diff)
The file was modified src/HOL/Probability/Probability.thy (diff)
The file was modified src/HOL/Probability/Stream_Space.thy (diff)
Changeset 64319:a33bbac43359 by hoelzl:
HOL-Probability: generalize type of essential supremum
The file was modified src/HOL/Probability/Essential_Supremum.thy (diff)
Changeset 64318:1e92b5c35615 by eberlm _eberlm@in.tum.de_:
Repaired LaTeX in HOL-Data_Structures
The file was addedsrc/HOL/Number_Theory/Quadratic_Reciprocity.thy
The file was modified src/HOL/Data_Structures/document/root.tex (diff)
The file was modified src/HOL/Number_Theory/Number_Theory.thy (diff)
The file was removedsrc/HOL/Number_Theory/QuadraticReciprocity.thy
Changeset 64317:029e6247210e by eberlm _eberlm@in.tum.de_:
More on Fibonacci numbers
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Number_Theory/Fib.thy (diff)
The file was modified src/HOL/Number_Theory/document/root.tex (diff)
Changeset 64316:96fef7745c68 by wenzelm:
build HTML library in Isabelle/Scala;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was removedAdmin/Release/build_library
Changeset 64315:e48e2532ac17 by wenzelm:
proper echo;<br>tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 64314:93de02f9c2d9 by wenzelm:
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
The file was modified src/Pure/ROOT (diff)