diff options
| author | Alasdair Armstrong | 2019-10-25 17:46:30 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-25 17:46:30 +0100 |
| commit | 8182b700da5cc0a4b64b3d5dd1c486b112c0a092 (patch) | |
| tree | c5764317b92f9d3ca75be4df203ae6d78220edf0 /test/hol | |
| parent | 0e2b220ec96cd29471bba9f46a132427bc4b1ac4 (diff) | |
Allow interactive commands to be setup outside isail.ml
can use Interactive.register_command to set up a new interactive
command, which allows commands to be set up near where the
functionality they interact with is defined, e.g. the ast slicing
commands are registered in Slice.ml. Also allows help messages to be
generated in a consistent way.
Diffstat (limited to 'test/hol')
0 files changed, 0 insertions, 0 deletions