Richard Copley comments

Results 5 comments of


                                            Richard Copley

`std::coroutines` in INTERFACE_LINK_LIBRARIES breaks cmake packages that consume libunifex

Correction: the find module should not be `include`d. It is for `find_package`, when operating in module mode. Instead, save the find module in the consuming project as `cmake/find/Findunifex.cmake`. Add the...

Fix magit-section usage so the expand/contract functionality works

force-push: rebase onto #51

Fix magit-section usage so the expand/contract functionality works

Rebased onto [leanprover-community:master](https://github.com/leanprover-community/lean4-mode/tree/master)

Fix magit-section usage so the expand/contract functionality works

I see no reason not to. It's just a minor bugfix. @sebeaumont, please ping Yury (@urkud) on Zulip.

Go over suggestions in #51

#### First change (in `lean4-lake-find-dir` in "lean4-lake.el"): I agree with the change but I also wonder if anyone would notice if we deleted "lean4-lake.el". We could just mention in the...