diff --git a/doc/ikarus-users-guide.pdf b/doc/ikarus-users-guide.pdf new file mode 100644 index 0000000..99bfd22 Binary files /dev/null and b/doc/ikarus-users-guide.pdf differ