search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Wrong behavior of emacs interface #1042

Closed fblanqui closed 6 months ago

fblanqui commented 8 months ago

When we insert some text in the green zone, the green zone is not reduced. The behavior is perhaps the same in VSCode (not checked).

fblanqui commented 6 months ago

Cannot reproduce.