--- detex.l.orig	Thu Aug 12 08:54:46 1993
+++ detex.l	Mon Feb 17 23:01:15 1997
@@ -76,7 +76,7 @@
 
 <Normal>"\\begin"{S}"{"{S}"document"{S}"}"	{fLatex = !fForcetex; IGNORE;}
 
-<Normal>"\\begin"     /* environment start */	{LaBEGIN LaBegin; IGNORE;}
+<Normal>"\\begin"     {/* environment start */	 LaBEGIN LaBegin; IGNORE;}
 
 <LaBegin>{S}"{"{S}"verbatim"{S}"}"		{   if (BeginEnv("verbatim"))
 							BEGIN LaEnv;
@@ -85,8 +85,8 @@
 						    IGNORE;
 						}
 
-<LaVerbatim>"\\end"{S}"{"{S}"verbatim"{S}"}" /* verbatim mode */
-						{BEGIN Normal; IGNORE;}
+<LaVerbatim>"\\end"{S}"{"{S}"verbatim"{S}"}" {/* verbatim mode */
+						BEGIN Normal; IGNORE;}
 <LaVerbatim>.					ECHO;
 
 <LaBegin>{W}					{   if (BeginEnv(yytext))
@@ -98,11 +98,11 @@
 <LaBegin>"\n"					NEWLINE;
 <LaBegin>.					;
 
-<LaEnv>"\\end"  /* absorb some environments */	{LaBEGIN LaEnd; IGNORE;}
+<LaEnv>"\\end"  {/* absorb some environments */	LaBEGIN LaEnd; IGNORE;}
 <LaEnv>"\n"					NEWLINE;
 <LaEnv>.					;
 
-<LaEnd>{W}		 /* end environment */	{   if (EndEnv(yytext))
+<LaEnd>{W}		 {/* end environment */	   if (EndEnv(yytext))
 							BEGIN Normal;
 						    IGNORE;
 						}
@@ -110,8 +110,8 @@
 <LaEnd>"\n"					NEWLINE;
 <LaEnd>.					;
 
-<Normal>"\\bibitem"	    /* ignore args  */	{LaBEGIN LaMacro2; IGNORE;}
-<Normal>"\\bibliography"    /* of these \cs */	{LaBEGIN LaMacro; IGNORE;}
+<Normal>"\\bibitem"	    {/* ignore args  */	 LaBEGIN LaMacro2; IGNORE;}
+<Normal>"\\bibliography"    {/* of these \cs */	LaBEGIN LaMacro; IGNORE;}
 <Normal>"\\bibstyle"				{LaBEGIN LaMacro; IGNORE;}
 <Normal>"\\cite"				{CITEBEGIN LaMacro2; IGNORE;}
 <Normal>"\\documentstyle"			{LaBEGIN LaMacro; IGNORE;}
@@ -122,8 +122,8 @@
 <Normal>"\\pagestyle"				{LaBEGIN LaMacro; IGNORE;}
 <Normal>"\\ref"					{CITEBEGIN LaMacro; IGNORE;}
 <Normal>"\\setcounter"				{LaBEGIN LaMacro; IGNORE;}
-<Normal>"\\verb" /* ignore \verb<char>...<char> */
-						{   if (fLatex) {
+<Normal>"\\verb" {/* ignore \verb<char>...<char> */
+						   if (fLatex) {
 						 	char verbchar, c;
 						 	verbchar = input();
 						 	while ((c = input()) != verbchar)
@@ -143,33 +143,33 @@
 <LaMacro2>"\n"					NEWLINE;
 <LaMacro2>.					;
 
-<Normal>"\\def"		/* ignore def begin */	{BEGIN Define; IGNORE;}
+<Normal>"\\def"		{/* ignore def begin */	BEGIN Define; IGNORE;}
 <Define>"{"					BEGIN Normal;
 <Define>"\n"					NEWLINE;
 <Define>.					;
 
-<Normal>"\\("		/* formula mode */	{LaBEGIN LaFormula; IGNORE;}
+<Normal>"\\("		{/* formula mode */	LaBEGIN LaFormula; IGNORE;}
 <LaFormula>"\\)"				BEGIN Normal;
 <LaFormula>"\n"					NEWLINE;
 <LaFormula>.					;
 
-<Normal>"\\["		/* display mode */	{LaBEGIN LaDisplay; IGNORE;}
+<Normal>"\\["		{/* display mode */	LaBEGIN LaDisplay; IGNORE;}
 <LaDisplay>"\\]"				BEGIN Normal;
 <LaDisplay>"\n"					NEWLINE;
 <LaDisplay>.					;
 
-<Normal>"$$"		/* display mode */	{BEGIN Display; IGNORE;}
+<Normal>"$$"		{/* display mode */	BEGIN Display; IGNORE;}
 <Display>"$$"					BEGIN Normal;
 <Display>"\n"					NEWLINE;
 <Display>.					;
 
-<Normal>"$"		/* math mode */		{BEGIN Math; IGNORE;}
+<Normal>"$"		{/* math mode */		BEGIN Math; IGNORE;}
 <Math>"$"					BEGIN Normal;
 <Math>"\n"					NEWLINE;
 <Math>"\\$"					;
 <Math>.						;
 
-<Normal>"\\include"	/* process files */	{LaBEGIN LaInclude; IGNORE;}
+<Normal>"\\include"	{/* process files */	LaBEGIN LaInclude; IGNORE;}
 <LaInclude>[^{ \t\n}]+				{   IncludeFile(yytext);
 						    BEGIN Normal;
 						}
@@ -192,11 +192,11 @@
 <Input>"\n"					NEWLINE;
 <Input>.					;
 
-<Normal>\\(aa|AA|ae|AE|oe|OE|ss)[ \t]*[ \t\n}] /* handle ligatures */
-						{(void)printf("%.2s", yytext+1);}
+<Normal>\\(aa|AA|ae|AE|oe|OE|ss)[ \t]*[ \t\n}] {/* handle ligatures */
+						(void)printf("%.2s", yytext+1);}
 <Normal>\\[OoijLl][ \t]*[ \t\n}]		{(void)printf("%.1s", yytext+1);}
 
-<Normal>\\[a-zA-Z@]+	/* ignore other \cs */	{BEGIN Control; IGNORE;}
+<Normal>\\[a-zA-Z@]+	{/* ignore other \cs */	BEGIN Control; IGNORE;}
 <Normal>"\\ "					SPACE;
 <Normal>\\.					IGNORE;
 <Control>\\[a-zA-Z@]+				IGNORE;
@@ -205,7 +205,7 @@
 <Control>[ \t]*[{]*				{BEGIN Normal; IGNORE;}
 <Control>.					{yyless(0);BEGIN Normal;}
 
-<Normal>[{}\\|]	/* special characters */	IGNORE;
+<Normal>[{}\\|]	{/* special characters */	IGNORE;}
 <Normal>[!?]"`"					IGNORE;
 <Normal>~					SPACE;