Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified server shutdown: stop all sessions;
  2. more explicit error messages; clarified signature;
  3. more explicit errors; tuned;
  4. additional Eisbach combinators and utility methods (by Daniel Matichuck)
Changeset 67902:c88044b10bbf by wenzelm:
clarified server shutdown: stop all sessions;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67901:3e6864cf387f by wenzelm:
more explicit error messages;<br>clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67900:5a1b0076d7f0 by wenzelm:
more explicit errors;<br>tuned;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67899:730fa992da38 by kleing:
additional Eisbach combinators and utility methods<br><br>(by Daniel Matichuck)
The file was modified src/HOL/Eisbach/Eisbach.thy (diff)