3 Commits

Author	SHA1	Message	Date
vsc	85d7d39dbf	more thread fixes ... git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2297 b08c6af1-5177-4d33-ba66-4b1c6b8b522a	2008-08-06 17:32:22 +00:00
vsc	316811d2cd	user:goal_expand should be called before import ... add extra apply_macros and apply stuff; fix unexisting definitions. add forall/2 and ignore/1 to system stuff. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a	2008-05-15 13:41:48 +00:00
vsc	d02bc3de81	update chr ... git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a	2008-03-13 14:38:02 +00:00