Changeset 4127 for trunk/wenv

Show
Ignore:
Timestamp:
03/10/08 17:06:59 (10 months ago)
Author:
pmoura
Message:

Updated the implementation of the threaded/1, improving cancellation of all individual threads when one of them results in an exception or failure.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/wenv/textmate/NOTES.txt

    r4111 r4127  
    2929LOGTALK_COMMAND 
    3030    set to the name of the shell script you use to launch Logtalk  
    31     followed by the option to run a goal at startup 
    32     (e.g. "yaplgt -g") 
     31    followed by the option to run a goal at startup (e.g. "yaplgt -g") 
    3332LOGTALK_HTML_COMMAND 
    3433    set to the name of the shell script you use to generate the (X)HTML