diff options
| author | Kathy Gray | 2014-08-21 13:50:42 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-21 13:50:42 +0100 |
| commit | f1654650da9a85a903cd2a316cd34531f37cbf60 (patch) | |
| tree | 75027cc3605097849dadd892be1498c6721c4e2b /src/lem_interp/interp_interface.lem | |
| parent | 82452259dbc2d9b3181daf7b894732bda9f427dd (diff) | |
Allow command line interface to exhaustively evaluate the next step, printing the events.
Note: this commit switches back to a standard lem build located in ~/bitbucket/lem/lem
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions