Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. regenerate website
  2. adjust Stirling import
Changeset 6584:a4e3b2cf7230 by kleing:
regenerate website
The file was modified web/entries/Bell_Numbers_Spivey.shtml (diff)
The file was modified web/entries/MFMC_Countable.shtml (diff)
Changeset 6583:3e4b6b84f810 by kleing:
adjust Stirling import
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/ROOT (diff)