# HG changeset patch # User Gerwin Klein <kleing@unsw.edu.au> # Date 1742089143 -39600 # Sun Mar 16 12:39:03 2025 +1100 # Node ID 88b204fa17cefe3b116074318de75f5bed1d6f79 # Parent 2a6cb0968822ed6690ad95819dbf1bef758716c5 web: 2024 release dates diff --git a/web/entries/Abstract_Substitution.html b/web/entries/Abstract_Substitution.html --- a/web/entries/Abstract_Substitution.html +++ b/web/entries/Abstract_Substitution.html @@ -189,6 +189,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Abstract_Substitution-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Abstract_Substitution-2024-10-04.tar.gz">Oct 4, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Alpha_Beta_Pruning.html b/web/entries/Alpha_Beta_Pruning.html --- a/web/entries/Alpha_Beta_Pruning.html +++ b/web/entries/Alpha_Beta_Pruning.html @@ -177,6 +177,19 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Alpha_Beta_Pruning-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Alpha_Beta_Pruning-2024-06-17.tar.gz">Jun 17, 2024 + </a> + : Isabelle2024 + </li> + <li> + <a href="https://www.isa-afp.org/release/afp-Alpha_Beta_Pruning-2024-06-16.tar.gz">Jun 16, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/AutoCorres2.html b/web/entries/AutoCorres2.html --- a/web/entries/AutoCorres2.html +++ b/web/entries/AutoCorres2.html @@ -582,6 +582,11 @@ <p>Older releases:</p> <ul> <li> + <a href="https://www.isa-afp.org/release/afp-AutoCorres2-2024-05-27.tar.gz">May 27, 2024 + </a> + : Isabelle2024 + </li> + <li> <a href="https://www.isa-afp.org/release/afp-AutoCorres2-2024-05-26.tar.gz">May 26, 2024 </a> : Isabelle2024 diff --git a/web/entries/Babai_Nearest_Plane.html b/web/entries/Babai_Nearest_Plane.html --- a/web/entries/Babai_Nearest_Plane.html +++ b/web/entries/Babai_Nearest_Plane.html @@ -172,6 +172,19 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Babai_Nearest_Plane-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Babai_Nearest_Plane-2024-11-07.tar.gz">Nov 7, 2024 + </a> + : Isabelle2024 + </li> + <li> + <a href="https://www.isa-afp.org/release/afp-Babai_Nearest_Plane-2024-10-31.tar.gz">Oct 31, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Boustrophedon_Transform.html b/web/entries/Boustrophedon_Transform.html --- a/web/entries/Boustrophedon_Transform.html +++ b/web/entries/Boustrophedon_Transform.html @@ -199,6 +199,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Boustrophedon_Transform-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Boustrophedon_Transform-2024-11-01.tar.gz">Nov 1, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/BurrowsWheeler.html b/web/entries/BurrowsWheeler.html --- a/web/entries/BurrowsWheeler.html +++ b/web/entries/BurrowsWheeler.html @@ -189,6 +189,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-BurrowsWheeler-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-BurrowsWheeler-2025-01-17.tar.gz">Jan 17, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/CVM_Distinct_Elements.html b/web/entries/CVM_Distinct_Elements.html --- a/web/entries/CVM_Distinct_Elements.html +++ b/web/entries/CVM_Distinct_Elements.html @@ -191,6 +191,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-CVM_Distinct_Elements-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-CVM_Distinct_Elements-2025-02-07.tar.gz">Feb 7, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Category_Set.html b/web/entries/Category_Set.html --- a/web/entries/Category_Set.html +++ b/web/entries/Category_Set.html @@ -182,6 +182,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Category_Set-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Category_Set-2024-10-11.tar.gz">Oct 11, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Chebyshev_Prime_Bounds.html b/web/entries/Chebyshev_Prime_Bounds.html --- a/web/entries/Chebyshev_Prime_Bounds.html +++ b/web/entries/Chebyshev_Prime_Bounds.html @@ -193,6 +193,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Chebyshev_Prime_Bounds-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Chebyshev_Prime_Bounds-2024-09-16.tar.gz">Sep 16, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Combinatorial_Q_Analogues.html b/web/entries/Combinatorial_Q_Analogues.html --- a/web/entries/Combinatorial_Q_Analogues.html +++ b/web/entries/Combinatorial_Q_Analogues.html @@ -203,6 +203,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Combinatorial_Q_Analogues-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Combinatorial_Q_Analogues-2025-01-24.tar.gz">Jan 24, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Coppersmith_Method.html b/web/entries/Coppersmith_Method.html --- a/web/entries/Coppersmith_Method.html +++ b/web/entries/Coppersmith_Method.html @@ -179,6 +179,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Coppersmith_Method-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Coppersmith_Method-2024-06-13.tar.gz">Jun 13, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Coproduct_Measure.html b/web/entries/Coproduct_Measure.html --- a/web/entries/Coproduct_Measure.html +++ b/web/entries/Coproduct_Measure.html @@ -182,6 +182,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Coproduct_Measure-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Coproduct_Measure-2024-08-22.tar.gz">Aug 22, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Countable_Sums_and_Discrete_Distributions.html b/web/entries/Countable_Sums_and_Discrete_Distributions.html --- a/web/entries/Countable_Sums_and_Discrete_Distributions.html +++ b/web/entries/Countable_Sums_and_Discrete_Distributions.html @@ -167,6 +167,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Countable_Sums_and_Discrete_Distributions-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Countable_Sums_and_Discrete_Distributions-2024-06-04.tar.gz">Jun 4, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Cube_Dissection.html b/web/entries/Cube_Dissection.html --- a/web/entries/Cube_Dissection.html +++ b/web/entries/Cube_Dissection.html @@ -165,6 +165,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Cube_Dissection-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Cube_Dissection-2024-11-25.tar.gz">Nov 25, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Diagonal_Ramsey.html b/web/entries/Diagonal_Ramsey.html --- a/web/entries/Diagonal_Ramsey.html +++ b/web/entries/Diagonal_Ramsey.html @@ -193,6 +193,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Diagonal_Ramsey-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Diagonal_Ramsey-2024-09-03.tar.gz">Sep 3, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Difference_Bound_Matrices.html b/web/entries/Difference_Bound_Matrices.html --- a/web/entries/Difference_Bound_Matrices.html +++ b/web/entries/Difference_Bound_Matrices.html @@ -196,6 +196,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Difference_Bound_Matrices-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Difference_Bound_Matrices-2024-08-26.tar.gz">Aug 26, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Differential_Privacy.html b/web/entries/Differential_Privacy.html --- a/web/entries/Differential_Privacy.html +++ b/web/entries/Differential_Privacy.html @@ -200,6 +200,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Differential_Privacy-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Differential_Privacy-2025-02-02.tar.gz">Feb 2, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/EnrichedCategoryBasics.html b/web/entries/EnrichedCategoryBasics.html --- a/web/entries/EnrichedCategoryBasics.html +++ b/web/entries/EnrichedCategoryBasics.html @@ -188,6 +188,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-EnrichedCategoryBasics-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-EnrichedCategoryBasics-2024-06-17.tar.gz">Jun 17, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Example-Submission.html b/web/entries/Example-Submission.html --- a/web/entries/Example-Submission.html +++ b/web/entries/Example-Submission.html @@ -175,6 +175,11 @@ <p>Older releases:</p> <ul> <li> + <a href="https://www.isa-afp.org/release/afp-Example-Submission-2024-07-30.tar.gz">Jul 30, 2024 + </a> + : Isabelle2024 + </li> + <li> <a href="https://www.isa-afp.org/release/afp-Example-Submission-2024-05-26.tar.gz">May 26, 2024 </a> : Isabelle2024 diff --git a/web/entries/FOL_Compactness.html b/web/entries/FOL_Compactness.html --- a/web/entries/FOL_Compactness.html +++ b/web/entries/FOL_Compactness.html @@ -188,6 +188,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-FOL_Compactness-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-FOL_Compactness-2025-02-27.tar.gz">Feb 27, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Generalized_Cauchy_Davenport.html b/web/entries/Generalized_Cauchy_Davenport.html --- a/web/entries/Generalized_Cauchy_Davenport.html +++ b/web/entries/Generalized_Cauchy_Davenport.html @@ -182,6 +182,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Generalized_Cauchy_Davenport-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Generalized_Cauchy_Davenport-2024-12-27.tar.gz">Dec 27, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Hilbert_Basis.html b/web/entries/Hilbert_Basis.html --- a/web/entries/Hilbert_Basis.html +++ b/web/entries/Hilbert_Basis.html @@ -204,6 +204,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Hilbert_Basis-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Hilbert_Basis-2025-02-12.tar.gz">Feb 12, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Hilbert_Space_Tensor_Product.html b/web/entries/Hilbert_Space_Tensor_Product.html --- a/web/entries/Hilbert_Space_Tensor_Product.html +++ b/web/entries/Hilbert_Space_Tensor_Product.html @@ -208,6 +208,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Hilbert_Space_Tensor_Product-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Hilbert_Space_Tensor_Product-2024-12-04.tar.gz">Dec 4, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/ILL.html b/web/entries/ILL.html --- a/web/entries/ILL.html +++ b/web/entries/ILL.html @@ -171,6 +171,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-ILL-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-ILL-2024-11-28.tar.gz">Nov 28, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/IMP_Noninterference_Extension.html b/web/entries/IMP_Noninterference_Extension.html --- a/web/entries/IMP_Noninterference_Extension.html +++ b/web/entries/IMP_Noninterference_Extension.html @@ -195,6 +195,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-IMP_Noninterference_Extension-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-IMP_Noninterference_Extension-2024-09-03.tar.gz">Sep 3, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/IMP_With_Speculation.html b/web/entries/IMP_With_Speculation.html --- a/web/entries/IMP_With_Speculation.html +++ b/web/entries/IMP_With_Speculation.html @@ -195,6 +195,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-IMP_With_Speculation-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-IMP_With_Speculation-2024-08-25.tar.gz">Aug 25, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Karatsuba_Sqrt.html b/web/entries/Karatsuba_Sqrt.html --- a/web/entries/Karatsuba_Sqrt.html +++ b/web/entries/Karatsuba_Sqrt.html @@ -179,6 +179,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Karatsuba_Sqrt-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Karatsuba_Sqrt-2024-10-09.tar.gz">Oct 9, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/LTL3_Semantics.html b/web/entries/LTL3_Semantics.html --- a/web/entries/LTL3_Semantics.html +++ b/web/entries/LTL3_Semantics.html @@ -175,6 +175,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-LTL3_Semantics-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-LTL3_Semantics-2024-09-02.tar.gz">Sep 2, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Levy_Prokhorov_Metric.html b/web/entries/Levy_Prokhorov_Metric.html --- a/web/entries/Levy_Prokhorov_Metric.html +++ b/web/entries/Levy_Prokhorov_Metric.html @@ -190,6 +190,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Levy_Prokhorov_Metric-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Levy_Prokhorov_Metric-2024-06-11.tar.gz">Jun 11, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Lie_Groups.html b/web/entries/Lie_Groups.html --- a/web/entries/Lie_Groups.html +++ b/web/entries/Lie_Groups.html @@ -188,6 +188,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Lie_Groups-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Lie_Groups-2024-08-01.tar.gz">Aug 1, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Linear_Diophantine_Preprocessor.html b/web/entries/Linear_Diophantine_Preprocessor.html --- a/web/entries/Linear_Diophantine_Preprocessor.html +++ b/web/entries/Linear_Diophantine_Preprocessor.html @@ -200,6 +200,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Linear_Diophantine_Preprocessor-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Linear_Diophantine_Preprocessor-2024-06-19.tar.gz">Jun 19, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/List_Power.html b/web/entries/List_Power.html --- a/web/entries/List_Power.html +++ b/web/entries/List_Power.html @@ -173,6 +173,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-List_Power-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-List_Power-2025-02-23.tar.gz">Feb 23, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Min_Max_Least_Greatest.html b/web/entries/Min_Max_Least_Greatest.html --- a/web/entries/Min_Max_Least_Greatest.html +++ b/web/entries/Min_Max_Least_Greatest.html @@ -174,6 +174,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Min_Max_Least_Greatest-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Min_Max_Least_Greatest-2024-10-30.tar.gz">Oct 30, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Mission_Time_LTL.html b/web/entries/Mission_Time_LTL.html --- a/web/entries/Mission_Time_LTL.html +++ b/web/entries/Mission_Time_LTL.html @@ -173,6 +173,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL-2025-01-28.tar.gz">Jan 28, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Mission_Time_LTL_Language_Partition.html b/web/entries/Mission_Time_LTL_Language_Partition.html --- a/web/entries/Mission_Time_LTL_Language_Partition.html +++ b/web/entries/Mission_Time_LTL_Language_Partition.html @@ -178,6 +178,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL_Language_Partition-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL_Language_Partition-2025-03-04.tar.gz">Mar 4, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Mission_Time_LTL_to_Regular_Expression.html b/web/entries/Mission_Time_LTL_to_Regular_Expression.html --- a/web/entries/Mission_Time_LTL_to_Regular_Expression.html +++ b/web/entries/Mission_Time_LTL_to_Regular_Expression.html @@ -173,6 +173,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL_to_Regular_Expression-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Mission_Time_LTL_to_Regular_Expression-2025-01-28.tar.gz">Jan 28, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/More_LazyLists.html b/web/entries/More_LazyLists.html --- a/web/entries/More_LazyLists.html +++ b/web/entries/More_LazyLists.html @@ -178,6 +178,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-More_LazyLists-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-More_LazyLists-2024-06-05.tar.gz">Jun 5, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/NREST.html b/web/entries/NREST.html --- a/web/entries/NREST.html +++ b/web/entries/NREST.html @@ -187,6 +187,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-NREST-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-NREST-2024-09-18.tar.gz">Sep 18, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Negative_Association.html b/web/entries/Negative_Association.html --- a/web/entries/Negative_Association.html +++ b/web/entries/Negative_Association.html @@ -194,6 +194,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Negative_Association-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Negative_Association-2025-01-20.tar.gz">Jan 20, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Notes_On_Goedels_Ontological_Argument.html b/web/entries/Notes_On_Goedels_Ontological_Argument.html --- a/web/entries/Notes_On_Goedels_Ontological_Argument.html +++ b/web/entries/Notes_On_Goedels_Ontological_Argument.html @@ -200,6 +200,19 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Notes_On_Goedels_Ontological_Argument-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Notes_On_Goedels_Ontological_Argument-2025-01-17.tar.gz">Jan 17, 2025 + </a> + : Isabelle2024 + </li> + <li> + <a href="https://www.isa-afp.org/release/afp-Notes_On_Goedels_Ontological_Argument-2025-01-07.tar.gz">Jan 7, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Parallel_Shear_Sort.html b/web/entries/Parallel_Shear_Sort.html --- a/web/entries/Parallel_Shear_Sort.html +++ b/web/entries/Parallel_Shear_Sort.html @@ -169,6 +169,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Parallel_Shear_Sort-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Parallel_Shear_Sort-2024-09-30.tar.gz">Sep 30, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Pattern_Completeness.html b/web/entries/Pattern_Completeness.html --- a/web/entries/Pattern_Completeness.html +++ b/web/entries/Pattern_Completeness.html @@ -194,6 +194,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Pattern_Completeness-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Pattern_Completeness-2024-06-03.tar.gz">Jun 3, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Pi_Irrational.html b/web/entries/Pi_Irrational.html --- a/web/entries/Pi_Irrational.html +++ b/web/entries/Pi_Irrational.html @@ -177,6 +177,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Pi_Irrational-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Pi_Irrational-2024-09-13.tar.gz">Sep 13, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Prop_Compactness.html b/web/entries/Prop_Compactness.html --- a/web/entries/Prop_Compactness.html +++ b/web/entries/Prop_Compactness.html @@ -195,6 +195,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Prop_Compactness-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Prop_Compactness-2024-08-30.tar.gz">Aug 30, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Quantum_Fourier_Transform.html b/web/entries/Quantum_Fourier_Transform.html --- a/web/entries/Quantum_Fourier_Transform.html +++ b/web/entries/Quantum_Fourier_Transform.html @@ -179,6 +179,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Quantum_Fourier_Transform-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Quantum_Fourier_Transform-2025-02-21.tar.gz">Feb 21, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Ramsey_Bounds.html b/web/entries/Ramsey_Bounds.html --- a/web/entries/Ramsey_Bounds.html +++ b/web/entries/Ramsey_Bounds.html @@ -182,6 +182,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Ramsey_Bounds-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Ramsey_Bounds-2024-09-02.tar.gz">Sep 2, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Randomized_Closest_Pair.html b/web/entries/Randomized_Closest_Pair.html --- a/web/entries/Randomized_Closest_Pair.html +++ b/web/entries/Randomized_Closest_Pair.html @@ -178,6 +178,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Randomized_Closest_Pair-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Randomized_Closest_Pair-2024-09-23.tar.gz">Sep 23, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Relative_Security.html b/web/entries/Relative_Security.html --- a/web/entries/Relative_Security.html +++ b/web/entries/Relative_Security.html @@ -183,6 +183,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Relative_Security-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Relative_Security-2024-06-05.tar.gz">Jun 5, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/ResiduatedTransitionSystem2.html b/web/entries/ResiduatedTransitionSystem2.html --- a/web/entries/ResiduatedTransitionSystem2.html +++ b/web/entries/ResiduatedTransitionSystem2.html @@ -210,6 +210,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-ResiduatedTransitionSystem2-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-ResiduatedTransitionSystem2-2024-06-17.tar.gz">Jun 17, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Riesz_Representation.html b/web/entries/Riesz_Representation.html --- a/web/entries/Riesz_Representation.html +++ b/web/entries/Riesz_Representation.html @@ -183,6 +183,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Riesz_Representation-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Riesz_Representation-2024-06-11.tar.gz">Jun 11, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Rogers_Ramanujan.html b/web/entries/Rogers_Ramanujan.html --- a/web/entries/Rogers_Ramanujan.html +++ b/web/entries/Rogers_Ramanujan.html @@ -187,6 +187,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Rogers_Ramanujan-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Rogers_Ramanujan-2025-01-24.tar.gz">Jan 24, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/SCL_Simulates_Ground_Resolution.html b/web/entries/SCL_Simulates_Ground_Resolution.html --- a/web/entries/SCL_Simulates_Ground_Resolution.html +++ b/web/entries/SCL_Simulates_Ground_Resolution.html @@ -202,6 +202,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-SCL_Simulates_Ground_Resolution-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-SCL_Simulates_Ground_Resolution-2024-11-04.tar.gz">Nov 4, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Secret_Directed_Unwinding.html b/web/entries/Secret_Directed_Unwinding.html --- a/web/entries/Secret_Directed_Unwinding.html +++ b/web/entries/Secret_Directed_Unwinding.html @@ -179,6 +179,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Secret_Directed_Unwinding-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Secret_Directed_Unwinding-2024-06-05.tar.gz">Jun 5, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Serializable.html b/web/entries/Serializable.html --- a/web/entries/Serializable.html +++ b/web/entries/Serializable.html @@ -169,6 +169,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Serializable-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Serializable-2025-02-11.tar.gz">Feb 11, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Sorted_Terms.html b/web/entries/Sorted_Terms.html --- a/web/entries/Sorted_Terms.html +++ b/web/entries/Sorted_Terms.html @@ -184,6 +184,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Sorted_Terms-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Sorted_Terms-2024-06-03.tar.gz">Jun 3, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Stone_Cech.html b/web/entries/Stone_Cech.html --- a/web/entries/Stone_Cech.html +++ b/web/entries/Stone_Cech.html @@ -180,6 +180,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Stone_Cech-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Stone_Cech-2024-06-05.tar.gz">Jun 5, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/SuffixArray.html b/web/entries/SuffixArray.html --- a/web/entries/SuffixArray.html +++ b/web/entries/SuffixArray.html @@ -227,6 +227,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-SuffixArray-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-SuffixArray-2024-10-03.tar.gz">Oct 3, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Sum_Of_Squares_Count.html b/web/entries/Sum_Of_Squares_Count.html --- a/web/entries/Sum_Of_Squares_Count.html +++ b/web/entries/Sum_Of_Squares_Count.html @@ -193,6 +193,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Sum_Of_Squares_Count-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Sum_Of_Squares_Count-2024-11-30.tar.gz">Nov 30, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Superposition_Calculus.html b/web/entries/Superposition_Calculus.html --- a/web/entries/Superposition_Calculus.html +++ b/web/entries/Superposition_Calculus.html @@ -196,6 +196,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Superposition_Calculus-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Superposition_Calculus-2024-10-30.tar.gz">Oct 30, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Theta_Functions.html b/web/entries/Theta_Functions.html --- a/web/entries/Theta_Functions.html +++ b/web/entries/Theta_Functions.html @@ -195,6 +195,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Theta_Functions-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Theta_Functions-2025-01-24.tar.gz">Jan 24, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Topological_Groups.html b/web/entries/Topological_Groups.html --- a/web/entries/Topological_Groups.html +++ b/web/entries/Topological_Groups.html @@ -171,6 +171,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Topological_Groups-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Topological_Groups-2024-08-27.tar.gz">Aug 27, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Transitive_Union_Closed_Families.html b/web/entries/Transitive_Union_Closed_Families.html --- a/web/entries/Transitive_Union_Closed_Families.html +++ b/web/entries/Transitive_Union_Closed_Families.html @@ -176,6 +176,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Transitive_Union_Closed_Families-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Transitive_Union_Closed_Families-2025-02-01.tar.gz">Feb 1, 2025 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Two_Hermitian_Results.html b/web/entries/Two_Hermitian_Results.html --- a/web/entries/Two_Hermitian_Results.html +++ b/web/entries/Two_Hermitian_Results.html @@ -182,6 +182,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Two_Hermitian_Results-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Two_Hermitian_Results-2024-11-25.tar.gz">Nov 25, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/With_Type.html b/web/entries/With_Type.html --- a/web/entries/With_Type.html +++ b/web/entries/With_Type.html @@ -181,6 +181,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-With_Type-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-With_Type-2024-09-05.tar.gz">Sep 5, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Wlog.html b/web/entries/Wlog.html --- a/web/entries/Wlog.html +++ b/web/entries/Wlog.html @@ -177,6 +177,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Wlog-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Wlog-2024-09-06.tar.gz">Sep 6, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Wooley_Elementary_Discrete_Inequality.html b/web/entries/Wooley_Elementary_Discrete_Inequality.html --- a/web/entries/Wooley_Elementary_Discrete_Inequality.html +++ b/web/entries/Wooley_Elementary_Discrete_Inequality.html @@ -171,6 +171,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Wooley_Elementary_Discrete_Inequality-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Wooley_Elementary_Discrete_Inequality-2024-10-17.tar.gz">Oct 17, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div> diff --git a/web/entries/Worklist_Algorithms.html b/web/entries/Worklist_Algorithms.html --- a/web/entries/Worklist_Algorithms.html +++ b/web/entries/Worklist_Algorithms.html @@ -195,6 +195,14 @@ <a class="close" href="#">×</a> <a href="https://www.isa-afp.org/release/afp-Worklist_Algorithms-current.tar.gz" download> Download latest</a> + <p>Older releases:</p> + <ul> + <li> + <a href="https://www.isa-afp.org/release/afp-Worklist_Algorithms-2024-08-21.tar.gz">Aug 21, 2024 + </a> + : Isabelle2024 + </li> + </ul> </div> </div> </div>