Changeset 4444 for trunk/configs

Timestamp:

08/22/08 14:34:33 (5 months ago)

Author:

pmoura

Message:

Updated ECLiPSe compatibility notes and config files for version 6.0#33.

Location:

trunk/configs

Files:

• eclipse6.config (modified) (4 diffs)
• eclipse6iso.config (modified) (2 diffs)
• NOTES.txt (modified) (1 diff)

trunk/configs/eclipse6.config

@@ -10 +10 @@
 %
 %
-%  configuration file for ECLiPSe 5.10#26 and later versions
-%
-%  last updated: August 14, 2008
+%  configuration file for ECLiPSe 6.0#33 and later versions
+%
+%  last updated: August 22, 2008
 %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -43 +43 @@
 % '$lgt_iso_predicate'(?callable).
 
-'$lgt_iso_predicate'(assertz(_)).
 '$lgt_iso_predicate'(atom_codes(_, _)).
 '$lgt_iso_predicate'(atom_concat(_, _, _)).
@@ -52 +51 @@
 '$lgt_iso_predicate'(throw(_)).
 '$lgt_iso_predicate'(unify_with_occurs_check(_, _)).
-
-
-assertz(Clause) :-
-    assert(Clause).
 
 
@@ -190 +185 @@
 
 
-% retractall(+callable)
-
-retractall(Head) :-
-    retract_all(Head).
+% retractall(+callable) -- built-in
 
 

trunk/configs/eclipse6iso.config

@@ -10 +10 @@
 %
 %
-%  configuration file for ECLiPSe 5.10#26 and later versions
+%  configuration file for ECLiPSe 6.0#33 and later versions
 %
 %  last updated: August 14, 2008
@@ -96 +96 @@
 
 
-% retractall(+callable)
-
-retractall(Head) :-
-    retract_all(Head).
+% retractall(+callable) -- built-in
 
 

trunk/configs/NOTES.txt

@@ -211 +211 @@
     and defining dynamic predicates. Due to the semantics of the ECLiPSe 
     built-in predicate compile/1, new clauses for dynamic predicates are 
-    appended to the old ones instead of replacing them!
-
-
-ECLiPSe 6.0 or later versions
+    appended to the old ones instead of replacing them.
+
+
+ECLiPSe 6.0#33 or later versions
 
     eclipse6.config