2 May
2001
2 May
'01
1:15 p.m.
Joshua Levy <levy(a)sdl.sri.com> writes:
Thank you for such a quick and detailed reply to my question. For completeness, I would suggest that the documentaion, particularly the chapter "Fast/concurrent update of facts" in Part II, include a reference to the data directive. (It might keep others from pestering you with the same question...)
Actually, the documentation is there in the source code but, due to a typo in a command to LPdoc, it did now make it to the manual. It is now fixed (1.7 patch 95). Thanks for pointing it out!
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
+34-91-336-7435 (Work) | Facultad de Informatica, UPM
+34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid
http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-----------------------------------------------------------------------------