Changes between Initial Version and Version 1 of Ticket #377, comment 6


Ignore:
Timestamp:
Mar 25, 2014, 4:41:34 PM (10 years ago)
Author:
coquser
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #377, comment 6

    initial v1  
    88
    99`proof-assert-electric-terminator` calls `proof-script-`'''`next`'''`-command-advance`, rather than `proof-script-`'''`new`'''`-command-advance`.
    10 
    11 I've patched this for now in my copy