Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper exception;
  2. proper \isakeeptag (amending 13b5c3ff1954);
  3. tuned;
Changeset 67202:30e863ad5a1a by wenzelm:
proper exception;
The file was modified src/Pure/General/sha1.ML (diff)
Changeset 67201:4cffa4791ef7 by wenzelm:
proper \isakeeptag (amending 13b5c3ff1954);
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 67200:d49727160f0a by wenzelm:
tuned;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/bash_syntax.ML (diff)