# Style sheet for Install Shield 5 # # # This file is part of a2ps. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 3, or (at your option) # any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program; see the file COPYING. If not, write to # the Free Software Foundation, 59 Temple Place - Suite 330, # Boston, MA 02111-1307, USA. # style "InstallShield 5" is written by "Alex " version is 1.0 requires a2ps version 4.9.7 documentation is "InstallShield5 _TM_ RUL script." end documentation alphabets are "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_#" case sensitive ancestors are cpp end ancestors keywords in Keyword are BOOL, BYREF, CHAR, HWND, INT, LIST, LONG, NUMBER, POINTER, QUAD, SHORT, STRINGLIST, STRING end keywords keywords in Label_strong are abort, begin, call, "case", declare, default, downto, elseif, else, endfor, endif, endprogram, endswitch, endwhile, "end", exit, external, for, function, goto, if, program, prototype, repeat, return, step, switch, then, to, typedef, until, void, while end keywords keywords in Keyword are BATCH_INSTALL, CMDLINE, COMMONFILES, ERRORFILENAME, FOLDER_DESKTOP, FOLDER_PROGRAMS, FOLDER_STARTMENU, FOLDER_STARTUP, INFOFILENAME, ISRES, ISUSER, ISVERSION, MEDIA, MODE, PROGRAMFILES, SELECTED_LANGUAGE, SRCDIR, SRCDISK, SUPPORTDIR, TARGETDIR, TARGETDISK, UNINST, WINDIR, WINDISK, WINSYSDIR, WINSYSDISK end keywords keywords in Keyword_strong are AddFolderIcon, AddProfString, AppCommand, AskDestPath, AskOptions, AskPath, AskText, AskYesNo, BatchAdd, BatchDeleteEx, BatchFileLoad, BatchFileSave, BatchFind, BatchGetFileName, BatchMoveEx, BatchSetFileName, CallDLLFx, ChangeDirectory, CloseFile, CmdGetHwndDlg, CommitSharedFiles, ComponentAddItem, ComponentCompareSizeRequired, ComponentDialog, ComponentError, ComponentFileEnum, ComponentFileInfo, ComponentFilterLanguage, ComponentFilterOS, ComponentGetData, ComponentGetItemSize, ComponentIsItemSelected, ComponentListItems, ComponentMoveData, ComponentSelectItem, ComponentSetData, ComponentSetTarget, ComponentSetupTypeEnum, ComponentSetupTypeGetData, ComponentSetupTypeSet, ComponentTotalSize, ComponentValidate, ConfigAdd, ConfigDelete, ConfigFileLoad, ConfigFileSave, ConfigFind, ConfigGetFileName, ConfigGetInt, ConfigMove, ConfigSetFileName, ConfigSetInt, CopyBytes, CopyFile, CreateDir, CreateFile, CreateProgramFolder, CtrlClear, CtrlDir, CtrlGetCurSel, CtrlGetMLEText, CtrlGetMultCurSel, CtrlGetState, CtrlGetSubCommand, CtrlGetText, CtrlPGroups, CtrlSelectText, CtrlSetCurSel, CtrlSetFont, CtrlSetList, CtrlSetMLEText, CtrlSetMultCurSel, CtrlSetState, CtrlSetText, DefineDialog, DeinstallSetReference, DeinstallStart, Delay, DeleteDir, DeleteFile, DeleteFolderIcon, DeleteProgramFolder, DialogSetInfo, Disable, Do, DoInstall, Enable, EndDialog, EnterDisk, ExistsDir, ExistsDisk, ExitProgMan, EzBatchAddPath, EzBatchAddString, EzBatchReplace, EzConfigAddDriver, EzConfigAddString, EzConfigGetValue, EzConfigSetValue, EzDefineDialog, FileCompare, FileDeleteLine, FileGrep, FileInsertLine, FindAllDirs, FindAllFiles, FindFile, FindWindow, GetDir, GetDisk, GetDiskSpace, GetEnvVar, GetExtents, GetFileInfo, GetFolderNameList, GetFont, GetGroupNameList, GetItemNameList, GetLine, GetMemFree, GetMode, GetProfInt, GetProfString, GetSystemInfo, GetValidDrivesList, GetWindowHandle, Handler, HIWORD, InstallationInfo, Is, LaunchApp, LaunchAppAndWait, ListAddItem, ListAddString, ListCount, ListCreate, ListCurrentItem, ListCurrentString, ListDeleteItem, ListDeleteString, ListDestroy, ListFindItem, ListFindString, ListGetFirstItem, ListGetFirstString, ListGetNextItem, ListGetNextString, ListReadFromFile, ListSetCurrentItem, ListSetCurrentString, ListSetIndex, ListWriteToFile, LongPathFromShortPath, LongPathToQuote, LongPathToShortPath, LOWORD, MessageBeep, MessageBox, NumToStr, OpenFile, OpenFileMode, ParsePath, PathAdd, PathDelete, PathFind, PathGet, PathMove, PathSet, PlaceBitmap, PlaceWindow, PlayMMedia, ProgDefGroupType, QueryProgGroup, QueryProgItem, QueryShellMgr, ReadBytes, RebootDialog, RegDBConnectRegistry, RegDBCreateKeyEx, RegDBDeleteKey, RegDBDeleteValue, RegDBDisConnectRegistry, RegDBGetAppInfo, RegDBGetItem, RegDBGetKeyValueEx, RegDBKeyExist, RegDBQueryKey, RegDBSetAppInfo, RegDBSetDefaultRoot, RegDBSetItem, RegDBSetKeyValueEx, ReleaseDialog, ReloadProgGroup, RenameFile, ReplaceFolderIcon, ReplaceProfString, RGB, SdAskDestPath, SdAskOptions, SdAskOptionsList, SdBitmap, SdComponentDialog, SdComponentDialog2, SdComponentDialogAdv, SdComponentMult, SdConfirmNewDir, SdConfirmRegistration, SdDisplayTopics, SdFinish, SdFinishReboot, SdLicense, SdMakeName, SdOptionsButtons, SdProductName, SdRegisterUser, SdRegisterUserEx, SdSelectFolder, SdSetupType, SdSetupTypeEx, SdShowAnyDialog, SdShowDlgEdit1, SdShowDlgEdit2, SdShowDlgEdit3, SdShowFileMods, SdShowInfoList, SdShowMsg, SdStartCopy, SdWelcome, SeekBytes, SelectDir, SelectFolder, SendMessage, SetColor, SetDialogTitle, SetDisplayEffect, SetErrorMsg, SetErrorTitle, SetFileInfo, SetFont, SetStatusWindow, SetTitle, SetupType, ShowGroup, ShowProgramFolder, SilentReadData, SilentWriteData, SizeWindow, Sprintf, SprintfBox, StatusUpdate, StrCompare, StrFind, StrGetTokens, StrLength, StrRemoveLastSlash, StrSub, StrToLower, StrToNum, StrToUpper, System, UnUseDLL, UseDLL, VarRestore, VarSave, VerCompare, VerFindFileVersion, VerGetFileVersion, VerSearchAndUpdateFile, VerUpdateFile, WaitOnDialog, Welcome, WriteBytes, WriteLine, WriteProfString, XCopyFile end keywords optional keywords in Keyword are AFTER, ALLCONTENTS, ALLCONTROLS, APPEND, BACKGROUNDCAPTION, BACKGROUND, BACKBUTTON, BACK, BASEMEMORY, BEFORE, BILLBOARD, BITMAPFADE, BITMAP256COLORS, BITMAPICON, BK_BLUE, BK_GREEN, BK_MAGENTA, BK_RED, BK_SMOOTH, BK_SOLIDBLUE, BK_SOLIDGREEN, BK_SOLIDMAGENTA, BK_SOLIDRED, BK_SOLIDYELLOW, BK_YELLOW, BLACK, BLUE, BOOTUPDRIVE, BUTTON_CHECKED, BUTTON_UNCHECKED, CANCEL, CC_ERR_FILEFORMATERROR, CC_ERR_FILEREADERROR, CC_ERR_NOCOMPONENTLIST, CC_ERR_OUTOFMEMORY, CDROM, CDROM_DRIVE, CENTERED, CHECKBOX, CHECKBOX95, CHECKLINE, CHECKMARK, CMD_CLOSE, CMD_MAXIMIZE, CMD_MINIMIZE, CMD_PUSHDOWN, CMD_RESTORE, COLORS, COMMANDEX, COMMAND, COMMON, COMP_NORMAL, COMP_UPDATE_DATE, COMP_UPDATE_SAME, COMP_UPDATE_VERSION, COMPACT, COMPARE_DATE, COMPARE_SIZE, COMPARE_VERSION, COMPONENT_FIELD_DESTINATION, COMPONENT_FIELD_DISPLAYNAME, COMPONENT_FIELD_FILENEED, COMPONENT_FIELD_FTPLOCATION, COMPONENT_FIELD_HTTPLOCATION, COMPONENT_FIELD_INSTALLATION, COMPONENT_FIELD_MISC, COMPONENT_FIELD_OVERWRITE, COMPONENT_FIELD_PASSWORD, COMPONENT_FIELD_SELECTED, COMPONENT_FIELD_SIZE, COMPONENT_FIELD_STATUS, COMPONENT_FIELD_TARGET, COMPONENT_FIELD_TARGET_CDROM, COMPONENT_FIELD_UNINSTALLABLE, COMPONENT_FIELD_VISIBLE, COMPONENT_INFO_ATTRIBUTE, COMPONENT_INFO_COMPSIZE, COMPONENT_INFO_DATE, COMPONENT_INFO_DATE_EX, COMPONENT_INFO_LANGUAGE, COMPONENT_INFO_ORIGSIZE, COMPONENT_INFO_OS, COMPONENT_INFO_TIME, COMPONENT_INFO_VERSIONLS, COMPONENT_INFO_VERSIONMS, COMPONENT_INFO_VERSIONSTR, COMPONENT_VALUE_ALWAYSOVERWRITE, COMPONENT_VALUE_CRITICAL, COMPONENT_VALUE_HIGHLYRECOMMENDED, COMPONENT_VALUE_NEVEROVERWRITE, COMPONENT_VALUE_NEWERDATE, COMPONENT_VALUE_NEWERVERSION, COMPONENT_VALUE_OLDERDATE, COMPONENT_VALUE_OLDERVERSION, COMPONENT_VALUE_SAMEORNEWDATE, COMPONENT_VALUE_SAMEORNEWERVERSION, COMPONENT_VALUE_STANDARD, CONTINUE, COPY_ERR_CREATEDIR, COPY_ERR_MEMORY, COPY_ERR_NODISKSPACE, COPY_ERR_OPENINPUT, COPY_ERR_OPENOUTPUT, COPY_ERR_TARGETREADONLY, CORECOMPONENTHANDLING, CPU, CUSTOM, DATA_COMPONENT, DATA_LIST, DATA_NUMBER, DATA_STRING, DATE, DEFWINDOWMODE, DELETE_EOF, DEFWINDOWMODE, DIALOGCACHE, DIR_WRITEABLE, DISABLE, DISK_TOTALSPACE, DLG_ASK_OPTIONS, DLG_ASK_PATH, DLG_ASK_TEXT, DLG_ASK_YESNO, DLG_CENTERED, DLG_CLOSE, DLG_DIR_DIRECTORY, DLG_DIR_DRIVE, DLG_DIR_FILE, DLG_ENTER_DISK, DLG_ERR, DLG_ERR_ALREADY_EXISTS, DLG_ERR_ENDDLG, DLG_INFO_ALTIMAGE, DLG_INFO_CHECKSELECTION, DLG_INFO_KUNITS, DLG_INFO_USEDECIMAL, DLG_INIT, DLG_MSG_INFORMATION, DLG_MSG_SEVERE, DLG_MSG_STANDARD, DLG_MSG_WARNING, DLG_STATUS, DLG_USER_CAPTION, DRIVE, EDITBOX_CHANGE, EFF_BOXSTRIPE, EFF_FADE, EFF_HORZREVEAL, EFF_HORZSTRIPE, EFF_NONE, EFF_REVEAL, EFF_VERTSTRIPE, ENABLE, END_OF_FILE, END_OF_LIST, ENHANCED, ENVSPACE, EQUALS, ERR_BOX_BADPATH, ERR_BOX_BADTAGFILE, ERR_BOX_DISKID, ERR_BOX_DRIVEOPEN, EXCLUDE_SUBDIR, EXCLUSIVE, EXISTS, EXIT, EXTENDEDMEMORY, EXTENSION_ONLY, FAILIFEXISTS, FALSE, FEEDBACK_FULL, FEEDBACK, FILE_ATTR_ARCHIVED, FILE_ATTR_HIDDEN, FILE_ATTR_NORMAL, FILE_ATTR_READONLY, FILE_ATTR_SYSTEM, FILE_ATTRIBUTE, FILE_BIN_CUR, FILE_BIN_END, FILE_BIN_START, FILE_DATE, FILE_EXISTS, FILE_INSTALLED, FILE_IS_LOCKED, FILE_LINE_LENGTH, FILE_LOCKED, FILE_MODE_APPEND, FILE_MODE_BINARY, FILE_MODE_BINARYREADONLY, FILE_MODE_NORMAL, FILE_NO_VERSION, FILE_NOT_FOUND, FILE_RD_ONLY, FILE_SIZE, FILE_SRC_OLD, FILE_TIME, FILE_WRITEABLE, FILENAME, FILENAME_ONLY, FIXED_DRIVE, FREEENVSPACE, FULLSCREEN, FULLSCREENSIZE, FULLWINDOWMODE, FULL, GREEN, HELP, HKEY_CLASSES_ROOT, HKEY_CURRENT_USER, HKEY_LOCAL_MACHINE, HKEY_USERS, HOURGLASS, HWND_DESKTOP, HWND_INSTALL, INCLUDE_SUBDIR, INDVFILESTATUS, INFOFILENAME, INFORMATION, IS_286, IS_386, IS_486, IS_ALPHA, IS_CDROM, IS_EGA, IS_FIXED, IS_FOLDER, IS_ITEM, IS_MIPS, IS_PENTIUM, IS_POWERPC, IS_REMOTE, IS_REMOVABLE, IS_SVGA, IS_UNKNOWN, IS_UVGA, IS_VGA, IS_WIN32S, IS_WINDOWS, IS_WINDOWS95, IS_WINDOWSNT, IS_XVGA, ISLANG_AFRIKAANS, ISLANG_AFRIKAANS_STANDARD, ISLANG_ALBANIAN, ISLANG_ALBANIAN_STANDARD, ISLANG_ALL, ISLANG_ARABIC, ISLANG_ARABIC_ALGERIA, ISLANG_ARABIC_BAHRAIN, ISLANG_ARABIC_EGYPT, ISLANG_ARABIC_IRAQ, ISLANG_ARABIC_JORDAN, ISLANG_ARABIC_KUWAIT, ISLANG_ARABIC_LEBANON, ISLANG_ARABIC_LIBYA, ISLANG_ARABIC_MOROCCO, ISLANG_ARABIC_OMAN, ISLANG_ARABIC_QATAR, ISLANG_ARABIC_SAUDIARABIA, ISLANG_ARABIC_SYRIA, ISLANG_ARABIC_TUNISIA, ISLANG_ARABIC_UAE, ISLANG_ARABIC_YEMEN, ISLANG_BASQUE, ISLANG_BASQUE_STANDARD, ISLANG_BELARUSIAN, ISLANG_BELARUSIAN_STANDARD, ISLANG_BULGARIAN, ISLANG_BULGARIAN_STANDARD, ISLANG_CATALAN, ISLANG_CATALAN_STANDARD, ISLANG_CHINESE, ISLANG_CHINESE_HONGKONG, ISLANG_CHINESE_PRC, ISLANG_CHINESE_SINGAPORE, ISLANG_CHINESE_TAIWAN, ISLANG_CROATIAN, ISLANG_CROATIAN_STANDARD, ISLANG_CZECH, ISLANG_CZECH_STANDARD, ISLANG_DANISH_STANDARD, ISLANG_DANISH6, ISLANG_DUTCH, ISLANG_DUTCH_BELGIAN, ISLANG_DUTCH_STANDARD, ISLANG_ENGLISH, ISLANG_ENGLISH_AUSTRALIAN, ISLANG_ENGLISH_BELIZE, ISLANG_ENGLISH_CANADIAN, ISLANG_ENGLISH_CARIBBEAN, ISLANG_ENGLISH_IRELAND, ISLANG_ENGLISH_JAMAICA, ISLANG_ENGLISH_NEWZEALAND, ISLANG_ENGLISH_SOUTHAFRICA, ISLANG_ENGLISH_TRINIDAD, ISLANG_ENGLISH_UNITEDKINGDOM, ISLANG_ENGLISH_UNITEDSTATES, ISLANG_ESTONIAN, ISLANG_ESTONIAN_STANDARD, ISLANG_FAEROESE, ISLANG_FAEROESE_STANDARD, ISLANG_FARSI, ISLANG_FARSI_STANDARD, ISLANG_FINNISH, ISLANG_FINNISH_STANDARD, ISLANG_FRENCH, ISLANG_FRENCH_BELGIAN, ISLANG_FRENCH_CANADIAN, ISLANG_FRENCH_LUXEMBOURG, ISLANG_FRENCH_STANDARD, ISLANG_FRENCH_SWISS, ISLANG_GERMAN, ISLANG_GERMAN_AUSTRIAN, ISLANG_GERMAN_LIECHTENSTEIN, ISLANG_GERMAN_LUXEMBOURG, ISLANG_GERMAN_STANDARD, ISLANG_GERMAN_SWISS, ISLANG_GREEK, ISLANG_GREEK_STANDARD, ISLANG_HEBREW, ISLANG_HEBREW_STANDARD, ISLANG_HUNGARIAN, ISLANG_HUNGARIAN_STANDARD, ISLANG_ICELANDIC, ISLANG_ICELANDIC_STANDARD, ISLANG_INDONESIAN, ISLANG_INDONESIAN_STANDARD, ISLANG_ITALIAN, ISLANG_ITALIAN_STANDARD, ISLANG_ITALIAN_SWISS, ISLANG_JAPANESE, ISLANG_JAPANESE_STANDARD, ISLANG_KOREAN, ISLANG_KOREAN_JOHAB, ISLANG_KOREAN_STANDARD, ISLANG_LATVIAN, ISLANG_LATVIAN_STANDARD, ISLANG_LITHUANIAN, ISLANG_LITHUANIAN_STANDARD, ISLANG_NORWEGIAN, ISLANG_NORWEGIAN_BOKMAL, ISLANG_NORWEGIAN_NYNORSK, ISLANG_POLISH, ISLANG_POLISH_STANDARD, ISLANG_PORTUGUESE, ISLANG_PORTUGUESE_BRAZILIAN, ISLANG_PORTUGUESE_STANDARD, ISLANG_ROMANIAN, ISLANG_ROMANIAN_STANDARD, ISLANG_RUSSIAN, ISLANG_RUSSIAN_STANDARD, ISLANG_SERBIAN, ISLANG_SERBIAN_CYRILLIC, ISLANG_SERBIAN_LATIN, ISLANG_SLOVAK, ISLANG_SLOVAK_STANDARD, ISLANG_SLOVENIAN, ISLANG_SLOVENIAN_STANDARD, ISLANG_SPANISH, ISLANG_SPANISH_ARGENTINA, ISLANG_SPANISH_BOLIVIA, ISLANG_SPANISH_CHILE, ISLANG_SPANISH_COLOMBIA, ISLANG_SPANISH_COSTARICA, ISLANG_SPANISH_DOMINICANREPUBLIC, ISLANG_SPANISH_ECUADOR, ISLANG_SPANISH_ELSALVADOR, ISLANG_SPANISH_GUATEMALA, ISLANG_SPANISH_HONDURAS, ISLANG_SPANISH_MEXICAN, ISLANG_SPANISH_MODERNSORT, ISLANG_SPANISH_NICARAGUA, ISLANG_SPANISH_PANAMA, ISLANG_SPANISH_PARAGUAY, ISLANG_SPANISH_PERU, ISLANG_SPANISH_PUERTORICO, ISLANG_SPANISH_TRADITIONALSORT, ISLANG_SPANISH_URUGUAY, ISLANG_SPANISH_VENEZUELA, ISLANG_SWEDISH, ISLANG_SWEDISH_FINLAND, ISLANG_SWEDISH_STANDARD, ISLANG_THAI, ISLANG_THAI_STANDARD, ISLANG_TURKISH, ISLANG_TURKISH_STANDARD, ISLANG_UKRAINIAN, ISLANG_UKRAINIAN_STANDARD, ISLANG_VIETNAMESE, ISLANG_VIETNAMESE_STANDARD, ISOSL_ALL, ISOSL_NT351, ISOSL_NT351_ALPHA, ISOSL_NT351_MIPS, ISOSL_NT40, ISOSL_NT40_ALPHA, ISOSL_NT40_MIPS, ISOSL_WIN31, ISOSL_WIN95, ISTYPE, LANGUAGE_DRV, LINE_NUMBER, LIST_NULL, LISTBOX_ENTER, LISTBOX_SELECT, LISTFIRST, LISTLAST, LISTNEXT, LISPREV, LOCKEDFILE, LOGGING, LOWER_LEFT, LOWER_RIGHT, MAGENTA, MATH_COPROCESSOR, METAFILE, MMEDIA_AVI, MMEDIA_MIDI, MMEDIA_PLAYASYNCH, MMEDIA_PLAYCONTINUOUS, MMEDIA_PLAYSYNCH, MMEDIA_STOP, MMEDIA_WAVE, MODE, MOUSE, MOUSE_DRV, NETWORK, NETWORK_DRV, NEXTBUTTON, NEXT, NONEXCLUSIVE, NORMALMODE, NOSET, NO_SUBDIR, NO, NOTEXISTS, NOWAIT, NULL, OFF, ON, OK, ONLYDIR, OSMAJOR, OSMINOR, OTHER_FAILURE, OUT_OF_DISK_SPACE, PARALLEL, PARTIAL, PATH_EXISTS, PATH, PERSONAL, PROGMAN, RED, REGDB_APPPATH_DEFAULT, REGDB_APPPATH, REGDB_BINARY, REGDB_ERR_CONNECTIONEXISTS, REGDB_ERR_CORRUPTEDREGISTRY, REGDB_ERR_INITIALIZATION, REGDB_ERR_INVALIDHANDLE, REGDB_ERR_INVALIDNAME, REGDB_KEYS, REGDB_NAMES, REGDB_NUMBER, REGDB_STRING, REGDB_STRING_EXPAND, REGDB_STRING_MULTI, REGDB_UNINSTALL_NAME, REGDB_VALUE, REMOTE_DRIVE, REMOVE, REMOVEABLE_DRIVE, REPLACE_ITEM, REPLACE, RESET, RESTART, ROOT, RUN_MAXIMIZED, RUN_MINIMIZED, RUN_SEPARATEMEMORY, SELFREGISTER, SELFREGISTERBATCH, SELFREGISTRATIONPROCESS, SERIAL, SETUPTYPE_INFO_DESCRIPTION, SETUPTYPE_INFO_DISPLAYNAME, SET, SEVERE, SH_SHOW, SHARE, SHAREDFILE, SILENTMODE, SRCTARGETDIR, STANDARD, STATUSOLD, STATUSDLG, STATUSBAR, STATUS, STYLE_BOLD, STYLE_ITALIC, STYLE_NORMAL, STYLE_SHADOW, STYLE_UNDERLINE, SW_MAXIMIZE, SW_MINIMIZE, SW_NORMAL, SW_RESTORE, SW_SHOW, SW_SHOWMINIMIZED, SW_SHOWMINNOACTIVE,SW_SHOWNA, SW_SHOWNOACTIVATE, SYS_BOOTMACHINE, SYS_BOOTWIN, SYS_TODOS, TILED, TIME, TRUE, TYPICAL, UPPER_LEFT, UPPER_RIGHT, USER_ADMINISTRATOR, USERPROFILE, VALID_PATH, VER_DLL_NOT_FOUND, VER_UPDATE_ALWAYS, VER_UPDATE_COND, VER_UPDATE_CONDFILE_INSTALLED, VOLUMELABEL, WARNING, WIN32SINSTALLED, WIN32SMAJOR, WIN32SMINOR, WINDOWS_SHARED, WINMAJOR, WINMINOR, YELLOW, YES end keywords #optional keywords are # "in" \in, # not \not, # and \wedge, # or \vee #end keywords optional operators are -> \rightarrow, && \wedge, || \vee, <= \leq, >= \geq, # << \leq, # >> \geq, # =, != \neq, ! \not # = \equiv end operators sequences are "/*" Comment_strong Comment_strong "*/" Comment_strong, "//" Comment, C-string, C-char # "case " Keyword_strong Label : Plain # /(unit|interface|implementation|program) / Keyword_strong # Label_strong /$/ Plain end sequences operators in Plain are (/^([\t ]*)([a-zA-Z0-9_]*)([\t ]*:)/ \1 Plain, \2 Label_strong, \3 Plain), (/(@)([a-zA-Z0-9_]*)/ \1 Label_strong, \2 Label_strong) end operators end style