0 Releases 8 Tags

Tags

v1.3.0/Isabelle2021-1 2022-07-08 11:28:30 +00:00 b93ff8f65c ZIP TAR.GZ

v1.2.0/Isabelle2021 2022-03-26 17:51:07 +00:00 97bfdcff58 ZIP TAR.GZ

2021-ITP-PMTI-rejected 2022-02-09 11:13:36 +00:00 f681ab54a7 ZIP TAR.GZ

v1.1.0/Isabelle2021 2021-03-20 23:33:20 +00:00 e319e4d810 ZIP TAR.GZ

v1.1.0/Isabelle2020 2021-03-20 22:47:14 +00:00 922da1aa21 ZIP TAR.GZ

v1.0.0/Isabelle2019 2019-08-18 17:03:43 +00:00 d0b183af79 ZIP TAR.GZ

Unreleased/Isabelle2018 2019-08-14 19:07:30 +00:00 2341879f06 ZIP TAR.GZ

Unreleased/Isabelle2017 2019-06-17 20:13:22 +00:00 519095e8f5 ZIP TAR.GZ