ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Allow command history in evaluator #71

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
In A4, the commands entered in the evaluator can be easily replayed, as in
a Unix console for instance.

It would be nice to have the same feature within A4E.

Original issue reported on code.google.com by daniel.l...@gmail.com on 1 Dec 2008 at 8:29