#742 (Jan 17, 2019, 12:50:06 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars (detail / hgweb)
2. bundle syntax for inner (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 53 min build duration;
• 56 min total from scheduled to completion.

• Echelon_Form
• Stochastic_Matrices
• Cayley_Hamilton
• LLL_Basis_Reduction
• Perron_Frobenius