Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. escape some special chars, notably for URL#NAME form;
  2. library theory for extractions of equations x = t into premises
  3. tuned
  4. rebuild x86_64-linux on Ubuntu 14.04.6 LTS; rebuild x86_64-cygwin on cygwin-20200116;
Changeset 71519:8a96a11e0cf5 by wenzelm:
escape some special chars, notably for URL#NAME form;
The file was modified src/Pure/Thy/document_antiquotations.ML (diff)
Changeset 71518:bae868febc53 by haftmann:
library theory for extractions of equations x = t into premises
The file was addedsrc/HOL/Library/Quantified_Premise_Simproc.thy
The file was modified src/HOL/ROOT (diff)
Changeset 71517:7807d828a061 by haftmann:
tuned
The file was modified src/HOL/HOL.thy (diff)
Changeset 71516:a57413dd2909 by wenzelm:
rebuild x86_64-linux on Ubuntu 14.04.6 LTS;<br>rebuild x86_64-cygwin on cygwin-20200116;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)