Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature -- more friendly for experimentation;
  2. clarified hg push return code: 1 means "nothing to push";
  3. proper Nunchaku setup to use CVC4 and Kodkod
Changeset 64409:70c87ca55f2c by wenzelm:
tuned signature -- more friendly for experimentation;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64408:50bcf976f276 by wenzelm:
clarified hg push return code: 1 means "nothing to push";
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
Changeset 64407:5c5b9d945625 by blanchet:
proper Nunchaku setup to use CVC4 and Kodkod
The file was modified src/HOL/Nunchaku/Nunchaku.thy (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku.ML (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku_tool.ML (diff)