Overview
| Comment: | Cosmetic cjhanges |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
d7147969627e686c7f4f7c4039a79762 |
| User & Date: | gawthrop@users.sourceforge.net on 1997-06-13 14:13:51.000 |
| Other Links: | branch diff | manifest | tags |
Context
|
1997-06-13
| ||
| 15:58:38 | Initial revision check-in: 3133709a48 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:13:51 | Cosmetic cjhanges check-in: d714796962 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:08:23 | Changed default rep.txt check-in: a735ede176 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/awk/rep_txt2tex.awk
from [57ed440af6]
to [3c9239d1bd].
| ︙ | ︙ | |||
8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # Copyright (c) P.J.Gawthrop, 1996. ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.4 1997/05/22 07:36:35 peterg ## \ref --> \Ref ## ## Revision 1.3 1997/05/19 16:43:34 peterg ## Explicit include of tex files 'cos latex2html prefers this! ## # Revision 1.2 1997/05/19 16:11:10 peterg | > > > | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | # Copyright (c) P.J.Gawthrop, 1996. ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ # Revision 1.5 1997/05/22 11:12:34 peterg # Chaged figure label. # ## Revision 1.4 1997/05/22 07:36:35 peterg ## \ref --> \Ref ## ## Revision 1.3 1997/05/19 16:43:34 peterg ## Explicit include of tex files 'cos latex2html prefers this! ## # Revision 1.2 1997/05/19 16:11:10 peterg |
| ︙ | ︙ | |||
57 58 59 60 61 62 63 |
system(command);
print " \\end{verbatim}";
}
# ps files
if( match("ps",Language)>0) {
printf("This representation is given as Figure \\Ref{fig:%s}.\n", Rep_lang);
print " \\begin{figure}";
| | | | 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 |
system(command);
print " \\end{verbatim}";
}
# ps files
if( match("ps",Language)>0) {
printf("This representation is given as Figure \\Ref{fig:%s}.\n", Rep_lang);
print " \\begin{figure}";
printf(" \\shadowbox{ \\epsfig{file=%s_%s.%s,width=0.9\\linewidth} }\n", \
system_name, Representation, Language);
printf(" \\caption{System \\textbf{%s}, representation %s}\n", system_name, Representation);
printf(" \\label{fig:%s}\n", Rep_lang);
print " \\end{figure}";
}
}
}
END {
}
|