Hey all, If anyone's interested, there's a patch in my archive which adds tla--run-tla-sync and tla--run-tla-async to xtla-core.el. These are documented (kind of ;o) in HACKING.
These aren't actually used anywhere yet--I've really just pasted them in from the buffer I was fiddling around with them in, but hey! There's no point in being secretive :o) Comments welcomed, of course. Mark -- Mark Triggs <[EMAIL PROTECTED]>
