Past version of Isabelle seems an error in README

data61 / PSL

Other

65 stars 9 forks source link

Past version of Isabelle seems an error in README #217

Closed Yosuke-Ito-345 closed 1 year ago

Yosuke-Ito-345 commented 1 year ago

The description of the section Smart_Isabelle in README "Past versions of Isabelle, such as Isabelle2023, are no longer supported." seems wrong. Is the following correct? "Past versions of Isabelle, such as Isabelle2022, are no longer supported." Sorry if I misunderstand what you mean.

yutakang commented 1 year ago

Good catch! You are correct, we currently support only Isabelle2023. I'm also pleased to see that someone has visited this repository. Thanks!

yutakang commented 1 year ago

Fixed in https://github.com/data61/PSL/commit/db661365afd4bec1cb5736f3bb48609558b16d4a.