easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
31 stars 1 forks source link

Drop last highlight of code when not running code - ProofGeneral #6

Closed 01tomislav closed 1 year ago

01tomislav commented 1 year ago

When we transition from a running configuration to a sending one, it would be great if the code position in the UC file displayed no longer had code highlighted, as it's confusing. You can see in the goals window that we're no longer in a running configuration.