Skip to content
Started 8 yr 2 mo ago
Took 3 hr 47 min on built-in
Success

#182 (May 4, 2016, 10:35:13 AM)

Changes
  1. Markov_Models: add E_sup_add_right (detail / hgweb)
  2. Discrete_Summation: moved Stirling numbers to Isabelle 3ca3bc795908 (detail / hgweb)

Started by an SCM change

Revision: 201451746f1be2cb17748bec43f82908a8f1ec10
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #182( 3 hr 47 min )Console Output