Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. updated for release;
  3. tuned headers;
Changeset 66648:e9d8ff531700 by wenzelm:
tuned;
The file was modified CONTRIBUTORS (diff)
Changeset 66647:6666fced78cc by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 66646:383d8e388d1b by wenzelm:
tuned headers;
The file was modified src/HOL/Tools/Nunchaku/nunchaku.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_collect.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_commands.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_display.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_model.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_problem.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_tool.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_translate.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_util.ML (diff)