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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
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(" \\epsfig{file=%s_%s.%s,width=\\linewidth}\n", \
system_name, Representation, Language);
printf(" \\caption{System \\textbf{%s}, representation %s}\n", system_name, Representation);
printf(" \\label{fig:%s_%s}\n", system_name, Representation);
print " \\end{figure}";
}
}
}
END {
}
|
|
|
|
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 {
}
|