Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. misc tuning and modernization;
  3. clarified YXML vs. symbol encoding: operate on whole message; tuned signature;
  4. clarified YXML vs. symbol encoding: operate on whole message;
  5. tuned proofs;
  6. misc tuning and modernization;
  7. tuned signature;
  8. tuned
Changeset 65347:d27f9b4e027d by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Polynomial.thy (diff)
Changeset 65346:673a7b3379ec by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Polynomial.thy (diff)
Changeset 65345:2fdd4431b30e by wenzelm:
clarified YXML vs. symbol encoding: operate on whole message;<br>tuned signature;
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
Changeset 65344:b99283eed13c by wenzelm:
clarified YXML vs. symbol encoding: operate on whole message;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
The file was modified src/Pure/Tools/print_operation.scala (diff)
Changeset 65343:0a8e30a7b10e by wenzelm:
tuned proofs;
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
Changeset 65342:e32eb488c3a3 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Permutations.thy (diff)
Changeset 65341:c82a1620b274 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
Changeset 65340:8ec91f7eca37 by nipkow:
tuned
The file was modified src/HOL/Library/Tree.thy (diff)