Index: app/src/sen-l/Makefile
===================================================================
--- app/src/sen-l/Makefile	(revision 8d3e6ab33b2b6727eb54bb3498a0ba2af9ca9ea1)
+++ 	(revision )
@@ -1,12 +1,0 @@
-
-sen: sen.l
-	flex -osen.c sen.l
-	cc -O3 -o sen sen.c -lfl
-
-copy:
-ifdef UTT_BIN_DIR
-	cp sen ${UTT_BIN_DIR}
-endif
-
-clean:
-	rm sen.c sen
Index: app/src/sen-l/sen.l
===================================================================
--- app/src/sen-l/sen.l	(revision 25ae32e4c2354e0ed6756bbe1de83f39cd814652)
+++ 	(revision )
@@ -1,80 +1,0 @@
-%{
-     int pos=0,len=0;
-
-     void set_position();
-%}
-
-ul		[A-Z¡ÆÊ£ÑÓŠ¯¬]
-ll		[a-z±æê³ñó¶¿Œ]
-l		ul|ll
-n		[0-9]+
-s		[ \t]+
-
-
-ab1		(mgr|in¿|prof|hab|doc|dyr|kier|zast)
-ab2		(ul|pl|al)
-
-abrv		(ab1|ab2)
-
-SEG             .*\n
-N		{n}{s}{n}{s}N{s}.*\n
-S		{n}{s}{n}{s}S{s}.*\n
-P		{n}{s}{n}{s}P{s}.*\n
-W		{n}{s}{n}{s}W{s}.*\n
-UL		{n}{s}{n}{s}W{s}{ul}.*\n
-Cap		{n}{s}{n}{s}W{s}{ul}{ll}*.*\n
-POINT		{n}{s}{n}{s}P{s}\.({s}.*)?\n
-QMARK		{n}{s}{n}{s}P{s}\?({s}.*)?\n
-EXCL		{n}{s}{n}{s}P{s}\!({s}.*)?\n
-DASH		{n}{s}{n}{s}P{s}\-({s}.*)?\n
-POINTS		{POINT}+
-
-ABRV		{n}{s}{n}{s}W{s}{abrv}({s}.*)?\n
-
-EOS		{POINT}|{POINTS}|{QMARK}|{EXCL}
-
-
-%%
-
-
-{N}({POINT}{N})+		ECHO; set_position();
-({UL}{POINT}{S}?)+{Cap} 	ECHO; set_position();
-{ABRV}{POINT}                   ECHO; set_position();
-
-
-{P}/{S}{DASH}			ECHO; set_position(); print_EOS();
-{EOS}/{S}({Cap}|{P}|{N})	ECHO; set_position(); print_EOS();
-
-.*                              ECHO; set_position();
-
-<<EOF>>				printf("%04d 00 EOS *\n",pos+len); exit(1);
-
-%%
-
-int main()
-{
-  printf("0000 00 BOS *\n");
-  yylex();
-}
-
-int yywrap()
-{
-  return 1;
-}
-
-void set_position()
-{
-  char *lastseg, *tmp;
-  yytext[yyleng-1]='\0';
-  if(tmp=strrchr(yytext,'\n'))
-    lastseg=tmp+1;
-  else
-    lastseg=yytext;
-  sscanf(lastseg,"%d %d", &pos, &len);
-  yytext[yyleng-1]='\n';
-}
-
-int print_EOS()
-{
-  printf("%04d 00 EOS *\n%04d 00 BOS *\n",pos+len,pos+len);
-}
