search

easyuc / EasyUC

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

proof general menu issue #45

Closed alleystoughton closed 11 months ago

alleystoughton commented 11 months ago

In Proof-General => Buffers, the names of the buffers should be updated to reflect the UC Interpreter buffers.