Overview
Comment: | Cosmetic cjhanges |
---|---|
Downloads: | Tarball | ZIP archive | SQL 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 |
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 { } |