Changeset 3991 for trunk/integration
- Timestamp:
- 12/29/07 07:17:43 (13 months ago)
- Files:
-
- 1 modified
-
trunk/integration/logtalk_plc.pl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/logtalk_plc.pl
r3986 r3991 10 10 11 11 12 :- consult('$LOGTALKUSER/configs/k .config').12 :- consult('$LOGTALKUSER/configs/k6.config'). 13 13 :- consult('$LOGTALKHOME/compiler/logtalk.pl'). 14 14 :- consult('$LOGTALKUSER/libpaths/libpaths.pl').
