Closed this issue 9 years ago · 1 comments
Loading Frap.v in proof general inside /frap fails. I had to load it from one level up. Is this intentional?
Using git version solved this.