Mark Triggs <[EMAIL PROTECTED]> writes: > Matthieu MOY <[EMAIL PROTECTED]> writes: > >> I suggest only "clean" code be moved to xtla-core : We have written a lot of >> things, not always consistant, and in particular, tla-run-arch could be >> greatly >> improved (possibility to run several processes at the same time, ...). > > Just a quick note on this... I've been fiddling around with > tla-run-arch and the sentinel code a bit. At the moment I've got > something that lets you write:
[...] Interesting ! Be carefull : I've modified the tla--run-arch function (I've also renamed it to follow the naming convention), and I will probably do so again in the next future. Don't take too much time before committing your changes, even if they break some other code. -- Matthieu
