Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#1544
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
clarified messages (amending 3e072441c96a);
Changeset
67947:ad735a551a11
by
wenzelm
:
clarified messages (amending 3e072441c96a);
The file was modified
src/Pure/Tools/server_commands.scala
(diff)