Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified file positions: retain original source path;
  2. backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
  3. clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
Changeset 77000:ffc0774e0efe by wenzelm:
clarified file positions: retain original source path;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
Changeset 76999:ff203584b36e by wenzelm:
backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
The file was modified src/HOL/Analysis/Infinite_Sum.thy (diff)
Changeset 76998:9096703ed99e by wenzelm:
clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
The file was modified src/Pure/Thy/bibtex.ML (diff)