<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Gri Mode: user commands</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 GriModeUserCommands.html "Gri Mode: user commands" "Gri Mode: user commands" --> 
<!-- @node   User commands, Gri code fragments, Editing the syntax, Major Gri-mode commands -->
<a name="Usercommands" ></a>

<img src