Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. do avoid suspicious Unicode;
  2. more standard header; avoid suspicious Unicode;
  3. build docker image from Isabelle application bundle for Linux;
  4. tuned message;
Changeset 64892:662de910a96b by wenzelm:
do avoid suspicious Unicode;
The file was modified src/HOL/Analysis/ex/Circle_Area.thy (diff)
Changeset 64891:d047004c1109 by wenzelm:
more standard header;<br>avoid suspicious Unicode;
The file was modified src/HOL/Analysis/ex/Circle_Area.thy (diff)
Changeset 64890:d8ccbd5305bf by wenzelm:
build docker image from Isabelle application bundle for Linux;
The file was addedsrc/Pure/Admin/build_docker.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 64889:56b52fc25c95 by wenzelm:
tuned message;
The file was modified src/Tools/VSCode/src/symbols.scala (diff)