/multi-isabelle

Conditional Isabelle/ML execution depending on Isabelle version (DISCONTINUED)

Primary LanguageStandard MLMIT LicenseMIT

multi-isabelle

Service Status
Travis (Linux CI) Build Status

Conditional Isabelle/ML execution depending on Isabelle version