Description
Description
Details
Details
- Provenance
James Clarke <jrtc27@jrtc27.com> Authored on Jan 19 2020, 4:19 PM GitHub <noreply@github.com> Committed on Jan 19 2020, 4:19 PM - Parents
- rPOLYML368a2bf0fb3a: Fix libffi 3.3 build on Unix i386
rPOLYML5237b653aa69: Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle. - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes