search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 89 forks source link

remove Isabelle walkthrough example #666

Open HuStmpHrrr opened 2 years ago

HuStmpHrrr commented 2 years ago

https://proofgeneral.github.io/doc/master/userman/Basic-Script-Management/#Walkthrough-example-in-Isabelle

it seems Isabelle is in the doc. I don't suppose Isabelle is maintained anymore?

erikmd commented 2 years ago

@HuStmpHrrr good catch!

Rather than just removing this part, I guess it'd be nicer to somewhat "translate" it to, say, Coq (?)