diff -r a63cef252656 -r cd56b9c11492 doc-docbook/html/p29.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-docbook/html/p29.html Thu Feb 05 17:35:42 2004 +0000 @@ -0,0 +1,186 @@ + +
Welcome to the Etik-ol Tutorial. The + following few chapters are intended to give a simple introduction + to Etik-ol. We only assume some general + knowledge about C++. +