Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reorient -> flip
  2. update maintainer email
  3. more locales in LLL_Basis_Reduction
Changeset 9362:1a996ec8e1c7 by nipkow:
reorient -> flip
The file was modified thys/Affine_Arithmetic/Floatarith_Expression.thy (diff)
Changeset 9361:c7c8ccd6ab3e by lars hupel _lars.hupel@mytum.de_:
update maintainer email
The file was modified metadata/metadata (diff)
Changeset 9360:c6b5aa515e89 by max w. haslbeck _max.haslbeck@gmx.de_:
more locales in LLL_Basis_Reduction
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy (diff)
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Integer_Equations.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy (diff)