Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message; tuned signature;
  2. tuned message;
  3. clarified signature;
  4. more cleaning up Homotopy
Changeset 71749:77232ff6b8f6 by wenzelm:
tuned message;<br>tuned signature;
The file was modified src/Pure/System/process_result.scala (diff)
Changeset 71748:34de8369c290 by wenzelm:
tuned message;
The file was modified src/Pure/System/process_result.scala (diff)
Changeset 71747:1dd514c8c1df by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 71746:da0e18db1517 by paulson _lp15@cam.ac.uk_:
more cleaning up Homotopy
The file was modified src/HOL/Analysis/Homotopy.thy (diff)