Index: trunk/FACT++/scripts/doc/console.js
===================================================================
--- trunk/FACT++/scripts/doc/console.js	(revision 14699)
+++ trunk/FACT++/scripts/doc/console.js	(revision 14699)
@@ -0,0 +1,32 @@
+throw new Error("Description for built in functions. Must not be included!");
+/**
+ * @fileOverview
+ *    Documentation of dim namespace.
+ */
+
+/**
+ * @namespace
+ *
+ * Namespace for extension functions dealing with the console
+ *
+ * @author <a href="mailto:thomas.bretz@epfl.ch">Thomas Bretz</a>
+ */
+var console = { };
+
+/**
+ *
+ * Displays a message on the local console (only).
+ *
+ * @param argument
+ *     Any kind of argument can be given. If it is not a String, it
+ *     is converted using the toString() member function.
+ *
+ * @param [. . .]
+ *     Any number of additional arguments. Each argument will appear in
+ *     a new line.
+ *
+ * @example
+ *     console.out("Five="+5, "--- new line ---");
+ *
+ */
+console.out = function() { /* [native code] */ }
Index: trunk/FACT++/scripts/doc/v8.js
===================================================================
--- trunk/FACT++/scripts/doc/v8.js	(revision 14699)
+++ trunk/FACT++/scripts/doc/v8.js	(revision 14699)
@@ -0,0 +1,34 @@
+throw new Error("Description for built in functions. Must not be included!");
+/**
+ * @fileOverview
+ *    Documentation of dim namespace.
+ */
+
+/**
+ * @namespace
+ *
+ * Namespace for general extension functions
+ *
+ * @author <a href="mailto:thomas.bretz@epfl.ch">Thomas Bretz</a>
+ */
+var v8 = { };
+
+/**
+ * Sleep for a while. This can be used to just wait or give time
+ * back to the operating system to produce less CPU load if the
+ * main purpose of a loop is, e.g., to wait for something to happen.
+ *
+ * @param {Integer} [milliseconds=0]
+ *     Number of millliseconds to sleep. Note that even 0 will always
+ *     sleep at least one millisecond.
+ *
+ */
+v8.sleep = function() { /* [native code] */ }
+
+/**
+ * Version number of the V8 JavaScript engine.
+ *
+ * @constant
+ * @type String
+ */
+v8.version = "";