Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jdk-11.0.2+9;
  2. eliminated suspicious Unicode;
  3. eliminated hard TABs;
  4. merged
  5. moved generalized material
  6. some new results in group theory
  7. less odd class.second_countable_topology_def
Changeset 69754:8d548b8f63ca by wenzelm:
updated to jdk-11.0.2+9;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 69753:9a3b4cca6d0b by wenzelm:
eliminated suspicious Unicode;
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
Changeset 69752:facaf96cd79e by wenzelm:
eliminated hard TABs;
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
Changeset 69751:6bf8ea65ea7a by nipkow:
merged
Changeset 69750:7d83b0abbfd7 by nipkow:
moved generalized material
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 69749:10e48c47a549 by paulson _lp15@cam.ac.uk_:
some new results in group theory
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Generated_Groups.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
Changeset 69748:7aafd0472661 by immler:
less odd class.second_countable_topology_def
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)