Show
Ignore:
Timestamp:
05/15/08 07:37:46 (5 months ago)
Author:
pmoura
Message:

Modified the YAP config file to check the availability of the built-in predicate forall/2.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/RELEASE_NOTES.txt

    r4260 r4263  
    1212 
    13132.31.6 - May ??, 2008 
     14 
     15    Modified the YAP config file to check the availability of the built-in  
     16    predicate forall/2. 
    1417 
    1518    Added support for the Pygments syntax highlighter (co-developed with