Explicación:
Nuevas características de la Biblioteca invocable (API de C)
Nuevas rutinas en el refinador de conflictos
Nuevos ejemplos de refinador de conflictos
Nueva rutina para leer información de inicio en un archivo de formato SOL
Nuevo valor de enumeración para notificar el número de nodos abiertos de la devolución de llamada genérica.
