update readme file for configuring ucInterpreter for emacs

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt

30 stars 1 forks source link

Closed 01tomislav closed 11 months ago

01tomislav commented 11 months ago

also move ucInterpreter.el to /emacs folder of the EasyUC project

alleystoughton commented 11 months ago

And get rid of mini-interpretoid-PG-shell directory, right?