Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. Three new theorems about real polynomial functions
  3. tuned GUI;
  4. tuned;
  5. clarified GUI behaviour;
Changeset 76038:46eea084f393 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 76037:f3f1cf4711d7 by paulson _lp15@cam.ac.uk_:
Three new theorems about real polynomial functions
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
Changeset 76036:181bf8567f41 by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76035:97060c904a08 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76034:dda3c117f13c by wenzelm:
clarified GUI behaviour;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)