kc3-lang/kc3

diff --git a/c3.index b/c3.index
index 18864a3..80e45ee 100644
--- a/c3.index
+++ b/c3.index
@@ -6,14 +6,30 @@ c3.version
 c3c/Makefile
 c3c/c3c.c
 c3c/configure
+c3s/Makefile
+c3s/buf_readline.c
+c3s/buf_readline.h
+c3s/configure
+c3s/c3s.c
+c3s/sources.mk
+c3s/sources.sh
+c3s/update_sources
 config.subr
 configure
 ic3/Makefile
-ic3/buf_readline.c
-ic3/buf_readline.h
+ic3/buf_linenoise.c
+ic3/buf_linenoise.h
 ic3/configure
 ic3/ic3.c
+ic3/linenoise.c
+ic3/sources.mk
+ic3/sources.sh
+ic3/update_sources
 libc3/Makefile
+libc3/arg.c
+libc3/arg.h
+libc3/binding.c
+libc3/binding.h
 libc3/bool.c
 libc3/bool.h
 libc3/buf.c
@@ -40,6 +56,8 @@ libc3/debug.c
 libc3/debug.h
 libc3/env.c
 libc3/env.h
+libc3/error.c
+libc3/error.h
 libc3/error_handler.c
 libc3/error_handler.h
 libc3/eval.c
@@ -62,6 +80,8 @@ libc3/facts_with.c
 libc3/facts_with.h
 libc3/facts_with_cursor.c
 libc3/facts_with_cursor.h
+libc3/fn.c
+libc3/fn.h
 libc3/frame.c
 libc3/frame.h
 libc3/hash.c
@@ -105,8 +125,6 @@ libc3/set_item__fact.c
 libc3/set_item__fact.h
 libc3/set_item__tag.c
 libc3/set_item__tag.h
-libc3/sha1.c
-libc3/sha1.h
 libc3/skiplist.c.in
 libc3/skiplist.h.in
 libc3/skiplist__fact.c
@@ -115,6 +133,8 @@ libc3/skiplist_node.c.in
 libc3/skiplist_node.h.in
 libc3/skiplist_node__fact.c
 libc3/skiplist_node__fact.h
+libc3/sources.mk
+libc3/sources.sh
 libc3/str.c
 libc3/str.h
 libc3/sym.c
@@ -134,6 +154,7 @@ libc3/u8.c
 libc3/u8.h
 libc3/ucd.c
 libc3/ucd.h
+libc3/update_sources
 libffi/ffi.h
 libffi/ffitarget.h
 libtommath/Makefile
@@ -314,11 +335,16 @@ libtommath/mtest/mpi-types.h
 libtommath/mtest/mpi.c
 libtommath/mtest/mpi.h
 libtommath/mtest/mtest.c
+libtommath/sources.mk
+libtommath/sources.sh
 libtommath/tommath.h
 libtommath/tommath_class.h
 libtommath/tommath_cutoffs.h
 libtommath/tommath_private.h
 libtommath/tommath_superclass.h
+libtommath/update_sources
+linenoise/linenoise.c
+linenoise/linenoise.h
 test/Makefile
 test/bool_test.c
 test/buf_file_test.c
@@ -334,9 +360,10 @@ test/fact_test.c
 test/fact_test.h
 test/facts_cursor_test.c
 test/facts_test.c
-test/facts_test_dump.facts.expected
+test/facts_test_dump_file.facts.expected
 test/facts_test_log_add.facts.expected
 test/facts_test_log_remove.facts.expected
+test/facts_test_save.facts.expected
 test/facts_with_test.c
 test/ic3/bool.err.expected
 test/ic3/bool.in
@@ -388,8 +415,9 @@ test/libc3_test.c
 test/list_test.c
 test/set__fact_test.c
 test/set__tag_test.c
-test/sha1_test.c
 test/skiplist__fact_test.c
+test/sources.mk
+test/sources.sh
 test/str_test.c
 test/sym_test.c
 test/tag_test.c
@@ -398,6 +426,7 @@ test/test.c
 test/test.h
 test/tuple_test.c
 test/types_test.c
+test/update_sources
 ucd2c/Makefile
 ucd2c/configure
 ucd2c/ucd.c