search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

use Isabelle's cartouche-based comments #21

Closed larsrh closed 5 years ago

larsrh commented 6 years ago

Closes #20.

This approach works with Isabelle2018 and later. I've also checked it against CakeML v2.0.

larsrh commented 5 years ago

Any chance to get this merged? This PR also works with current Isabelle2018.

PeterSewell commented 5 years ago

fine by me. I'll leave it to Thomas to pull when convenient for him

thanks, Peter

On 21/12/2018, Lars Hupel notifications@github.com wrote:

Any chance to get this merged? This PR also works with current Isabelle2018.

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/rems-project/lem/pull/21#issuecomment-449413863

bauereiss commented 5 years ago

I did look at this pull request at some point, but then got distracted apparently. I've merged it now, thank you for the patch.