NEWS
changeset 50118 89a14e495526
parent 50110 c933c635843a
child 50119 5c370a036de7
equal deleted inserted replaced
50117:32755e357a51 50118:89a14e495526
   258 formal device to inline positions into message text, but not
   258 formal device to inline positions into message text, but not
   259 necessarily printing visible text.
   259 necessarily printing visible text.
   260 
   260 
   261 
   261 
   262 *** System ***
   262 *** System ***
       
   263 
       
   264 * The default limit for maximum number of worker threads is now 8,
       
   265 instead of 4.
   263 
   266 
   264 * The ML system is configured as regular component, and no longer
   267 * The ML system is configured as regular component, and no longer
   265 picked up from some surrounding directory.  Potential INCOMPATIBILITY
   268 picked up from some surrounding directory.  Potential INCOMPATIBILITY
   266 for home-made configurations.
   269 for home-made configurations.
   267 
   270