I'm using Ubuntu linux with a recent FStar and kreMLin from master.
When attempting to run: krml -verbose Introduction.fst -no-prefix Introduction -o test.exe && ./test.exe
Where Introduction is the example from the kreMLin tutorial. I get this long error:

Tut is a documentation tool that lets you write documentation/examples that are automatically typechecked and run. Maybe we can use it for the user manual? Just an idea.