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;
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)