Hi! Logtalk 2.15.6 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release provides significant improvements for the syntax coloring configuration files for all supported text editors, including new support for the KDE Kate and Kwrite editors. In addition, there is a new compiler option related to the automatic generation of XML documenting files, new support for the MacOS X Xcode IDE, and two small bug fixes. From the release notes: * Added "xmlspec" compiler option in order to specify the extension (dtd or xsd) of the file describing the XML documenting files specification. * Renamed compiler option "named_anonymous_vars" to the more appropriated name "underscore_vars". Changed possible option values to "dont_care" and "singletons" (default). * Added XSLT file for converting XML documenting files to XHTML 1.0 Strict files. Set the default encoding of all XSLT files to UTF-8. * Added syntax coloring support for the KDE Kate and Kwrite text editors. * Improved syntax coloring configuration files for VIM, jEdit, NEdit, SubEthaEdit, and Emacs text editors. * Removed outdated support for MacOS X Project Builder and added support for the new MacOS X Xcode developer tool. * Corrected bug in the built-in predicate current_logtalk_flag/2 that prevented some flag values from being returned after using the built-in predicate set_logtalk_flag/2. * Corrected bug in the shapes example (wrong placement of the declaration of the predicate side/1). The CVS tag for this release is "lgt2156". Happy logtalking! Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319891 Portugal <mailto:pmoura@di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> -----------------------------------------------------------Received on Mon Feb 09 15:06:15 2004
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:27 PM GMT GMT