<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Gri: Builtin Index</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"></head>
<body bgcolor="#FFFFFF" text="#000000" link="#0000EE" vlink="#551A8B" alink="FF0000">
<!-- newfile BuiltinIndex.html "Gri: Builtin Index" "Builtin Index" -->
 
<h1>Builtin index</h1>
 
<!-- @node   Index of Builtins, Concept Index, Index of Commands, Top
 -->
<a name="IndexofBuiltins" ></a>

<img src="./resources/t