Public Git Hosting - chr.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: a3f360e) | patch

commit	f17e0f85ea51986705b9caab95defda48d8ead38
author	Jan Wielemaker <wielemak@science.uva.nl>
	Wed, 27 Aug 2008 09:59:00 +0000 (27 11:59 +0200)
committer	Jan Wielemaker <wielemak@science.uva.nl>
	Wed, 27 Aug 2008 09:59:00 +0000 (27 11:59 +0200)
tree	2eb8f013cb6f0ff886b049122293a776fbd76e73	tree \| snapshot (tar.gz zip)
parent	a3f360e31a2c5485e11f949987221be741be0472	commit \| diff

Replaced loading hprolog by loading library(dialect/hprolog)

12 files changed:

a_star.pl		diff \| blob \| blame \| history
builtins.pl		diff \| blob \| blame \| history
chr_hashtable_store.pl		diff \| blob \| blame \| history
chr_integertable_store.pl		diff \| blob \| blame \| history
chr_runtime.pl		diff \| blob \| blame \| history
chr_translate.chr		diff \| blob \| blame \| history
chr_translate_bootstrap.pl		diff \| blob \| blame \| history
chr_translate_bootstrap1.chr		diff \| blob \| blame \| history
chr_translate_bootstrap2.chr		diff \| blob \| blame \| history
clean_code.pl		diff \| blob \| blame \| history
guard_entailment.chr		diff \| blob \| blame \| history
hprolog.pl	[deleted file]	blob \| blame \| history

copy of chr