Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. HOL-ODE-Examples is no longer slow: timing similar to HOL-ODE-Numerics;
Changeset 8531:13b569160947 by wenzelm:
HOL-ODE-Examples is no longer slow: timing similar to HOL-ODE-Numerics;
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)