search

data61 / PSL

Other
65 stars 9 forks source link

Something wrong with PaMpeR for Isabelle2021-1 #188

Closed yutakang closed 1 year ago

yutakang commented 2 years ago

It seems to be broken at least for Windows.

yutakang commented 1 year ago

PaMpeR is no longer supported.