Changes between Initial Version and Version 1 of Ticket #5110, comment 4


Ignore:
Timestamp:
2018-09-10T13:02:55Z (6 years ago)
Author:
Rüdiger Franke

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5110, comment 4

    initial v1  
    1 `-d=newInst` improves things, except for `Clock` and `previous`. Could those two operators be implemented in the new frontend?
     1`-d=newInst` improves things, except for `Clock` and `previous`. Could those two operators and `firstTick` be implemented in the new frontend?