You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Our code has been made compatible with Isabelle2018, but we want to switch over to the current Isabelle2019. Our goal is to make the appropriate changes to our code in order to be accepted by Isabelle2019 and change README.md to reflect that Isabelle2019 is now the officially supported platform.
The text was updated successfully, but these errors were encountered:
Our code has been made compatible with Isabelle2018, but we want to switch over to the current Isabelle2019. Our goal is to make the appropriate changes to our code in order to be accepted by Isabelle2019 and change
README.md
to reflect that Isabelle2019 is now the officially supported platform.The text was updated successfully, but these errors were encountered: