search

jesper-bengtson / Charge

Higher-order separation logic framework in Coq
Other
1 stars 1 forks source link

Remove all of the "Add Rec Loadpath ...." #2

Open gmalecha opened 10 years ago

gmalecha commented 10 years ago

It is a little bit annoying to see so many warnings about paths when building the system.

gmalecha commented 8 years ago

This looks like it was solved?