Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. merged
  3. isabelle.preview presents bibtex database files as well;
  4. clarified signature;
  5. isabelle.preview presents auxiliary text files as well;
  6. tuned signature;
  7. tuned signature;
  8. bibtex HTML output via external tool;
  9. merged
  10. tuned op's
  11. tuned op's
  12. tuned op's
  13. tuned op's
  14. tuned op's
  15. tuned op's
  16. tuned;
  17. Some lemmas on complex numbers and coprimality
Changeset 67250:6c837185aa61 by wenzelm:
tuned output;
The file was modified src/Pure/Tools/bibtex.scala (diff)
Changeset 67249:b6282f149b50 by wenzelm:
merged
Changeset 67248:68177abb2988 by wenzelm:
isabelle.preview presents bibtex database files as well;
The file was modified NEWS (diff)
The file was modified src/Pure/Tools/bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67247:3a9651318015 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67246:4cedf44f2af1 by wenzelm:
isabelle.preview presents auxiliary text files as well;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67245:caa4c9001009 by wenzelm:
tuned signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
Changeset 67244:318f44a5c164 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67243:6a93aaa3ed36 by wenzelm:
bibtex HTML output via external tool;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Tools/bibtex.scala (diff)
Changeset 67242:a6d8458b48c0 by nipkow:
merged
Changeset 67241:73635a5bfa5c by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Embed_Measure.thy (diff)
Changeset 67240:2c9694a8c000 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67239:d0ca4e418839 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67238:b2d2584ace51 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Connected.thy (diff)
Changeset 67237:1fe0ec14a90a by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67236:d2be0579a2c8 by nipkow:
tuned op's
The file was modified src/HOL/Library/Numeral_Type.thy (diff)
Changeset 67235:759d4fb30bfc by wenzelm:
tuned;
The file was modified Admin/PLATFORMS (diff)
Changeset 67234:ab10ea1d6fd0 by eberlm _eberlm@in.tum.de_:
Some lemmas on complex numbers and coprimality
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Rings.thy (diff)