Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
  2. fewer warnings;
  3. clarified positions;
  4. check bibtex database on ML side -- for semantic PIDE editing; tuned signature;
  5. clarified directories;
  6. more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
Changeset 67278:c60e3d615b8c by eberlm _eberlm@in.tum.de_:
Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
The file was addedsrc/HOL/Analysis/Ball_Volume.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.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/ROOT (diff)
The file was removedsrc/HOL/Analysis/ex/Circle_Area.thy
Changeset 67277:7dda4a667e40 by wenzelm:
fewer warnings;
The file was modified src/Doc/manual.bib (diff)
Changeset 67276:abac35ee3565 by wenzelm:
clarified positions;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 67275:5e427586cb57 by wenzelm:
check bibtex database on ML side -- for semantic PIDE editing;<br>tuned signature;
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 67274:4588f714a78a by wenzelm:
clarified directories;
The file was addedsrc/Pure/Thy/bibtex.ML
The file was addedsrc/Pure/Thy/bibtex.scala
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/bibtex.ML
The file was removedsrc/Pure/Tools/bibtex.scala
Changeset 67273:c573cfb2c407 by wenzelm:
more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
The file was modified etc/options (diff)
The file was modified src/Pure/General/ssh.scala (diff)