Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Resolved a compatibility issue in Extended_Sturm.thy
  2. formal build bed
  3. formal build for generated Haskell
  4. restored entry
Changeset 8511:9509fb3a0435 by wenda li _liwenda1990@hotmail.com_:
Resolved a compatibility issue in Extended_Sturm.thy
The file was modified thys/Count_Complex_Roots/Extended_Sturm.thy (diff)
Changeset 8510:d49b287b6980 by haftmann:
formal build bed
The file was addedthys/Diophantine_Eqns_Lin_Hom/generated/.empty
Changeset 8509:2ff5cf12c49c by haftmann:
formal build for generated Haskell
The file was addedthys/Diophantine_Eqns_Lin_Hom/src/compile
The file was modified .hgignore (diff)
Changeset 8508:1a1aed82a93a by haftmann:
restored entry
The file was modified thys/Linear_Recurrences/Linear_Recurrences_Misc.thy (diff)
The file was modified thys/Linear_Recurrences/Partial_Fraction_Decomposition.thy (diff)
The file was modified thys/Linear_Recurrences/Pochhammer_Polynomials.thy (diff)
The file was modified thys/Linear_Recurrences/RatFPS.thy (diff)
The file was modified thys/Linear_Recurrences/Rational_FPS_Solver.thy (diff)