Watch our latest webinar to understand the difference between data from Libraries.io and the Tidelift Subscription.

info.hupel:classy
Release 0.1.7

classy

Homepage Repository Maven Standard ML Download

Keywords: isabelle
License: MIT

Documentation

multi-isabelle

Service	Status
Travis (Linux CI)

Conditional Isabelle/ML execution depending on Isabelle version

Dependencies: 1
Dependent packages: 4
Dependent repositories: 0
Total releases: 12
Latest release: Apr 24, 2019
First release: Nov 6, 2016
Stars: 0
Forks: 0
Watchers: 1
Contributors: 1
Repository size: 16.6 KB
SourceRank: 7

Source repo 2FA enabled: TEXT!
Package manager 2FA enabled: TEXT!
Is security responsive: TEXT!
Dependencies are managed: TEXT!
Issue-free release available: TEXT!
Succession plan available: TEXT!

Releases

0.2.2: Apr 24, 2019
0.2.1: Jul 3, 2018
0.2.0: Jun 28, 2018
0.1.8: Jun 7, 2018
0.1.7: Oct 9, 2017
0.1.6: Sep 6, 2017
0.1.5: Aug 17, 2017
0.1.4: Dec 13, 2016
0.1.3: Nov 27, 2016
0.1.2: Nov 22, 2016

See all 12 releases

Contributors

See all contributors

Login to resync this project