This commit is contained in:
rsc 2006-02-21 18:37:05 +00:00
parent 49a1496cbb
commit c42a1d3d61
31 changed files with 4745 additions and 2 deletions

94
tmac/tmac.html Normal file
View file

@ -0,0 +1,94 @@
.de HTML
\! \<?xml version="1.0" encoding="utf-8"?\>
\! \<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
\! "http://www.w3.org/TR/html4/loose.dtd"\>
.html html <html>
.html head <head>
.if !'\\$1'' .html title <title>\\$1</title>
.HEAD
.html head
.html body <body>
..
.de FSFIRST
.de NOTES xx
._NOTES
.rm _NOTES
xx
.em NOTES
.da _NOTES
.sp
.B "Notes
.sp
.da
..
.de FS
.FSFIRST
.rm FSFIRST
.da _NOTES
..
.de FE
.sp
.da
..
.nr png -1 1
.de TS
.ds pngbase "\\*[basename]
.if '\\*[pngbase]'' .ds pngbase \\n(.B
.ds pngfile \\*[pngbase]\\n+[png].png
.html - <center><img src="\\*[pngfile]"></center>
.\" The .inputpipe must be the last line of the macro!
.inputpipe .TE troff2png >\\*[pngfile]
..
.de TE
..
.de PS
.ds pngbase "\\*[basename]
.if '\\*[pngbase]'' .ds pngbase \\n(.B
.ds pngfile \\*[pngbase]\\n+[png].png
.html - <center><img src="\\*[pngfile]"></center>
.inputpipe .PE troff2png >\\*[pngfile]
..
.de PE
..
.de B1
.margin 0
.nr TW 10
.nr TW1 80
.if !'\\$1'' .nr TW \\$1
.if !'\\$2'' .nr TW1 \\$2
.html box \
<center>\
<table width=\\n[TW1]% cellspacing=0 cellpadding=0 border=0>\
<tr height=1>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td width=1 bgcolor=#000000 />\
</tr>\
<tr height=\\n(TW>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW />\
<td />\
<td width=\\n(TW />\
<td width=1 bgcolor=#000000 />\
</tr>
.html box0 <tr>
.html box1 <td width=1 bgcolor=#000000 /><td width=\\n(TW /><td>
..
.de B2
.html box1 <td width=\\n(TW /><td width=1 bgcolor=#000000 />
.html box0 <tr height=\\n(TW><td width=1 bgcolor=#000000 />\
<td width=\\n(TW /><td /><td width=\\n(TW />\
<td width=1 bgcolor=#000000 />\
</tr>\
<tr height=1>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td width=1 bgcolor=#000000 />\
</tr>
.html box
.margin 1
..

View file

@ -308,9 +308,11 @@
.di WT
.na
.fi
.ie h .ll \\n(LLu
.el \{\
.ll 5.0i
.if n .if \\n(TN .ll 29
.if t .if \\n(TN .ll 3.5i
.if t .if \\n(TN .ll 3.5i \}
.ft 3
.ps \\n(PS
.if !\\n(TN \{\
@ -318,6 +320,7 @@
. vs \\n(.s+2
. rm CS\}
.hy 0
.if h .ce 999
..
.de TX
.rs
@ -358,6 +361,7 @@
. ft 3
. ll 16\}\}
.ps \\n(PS
.if h .ce 999
..
.de AX
.ft 1
@ -503,6 +507,7 @@ ABSTRACT
.ie \\n(VS>=41 .vs \\n(VSu
.el .vs \\n(VSp
.ti +\\n(PIu
.fi
..
. \"AE - end of an abstract
.de AE
@ -704,6 +709,14 @@ Computing Science Technical Report No. \\*(MN
.if \\$1H .TQ
.nr IX 1
..
.if h \{\
.de TS
.nr tp -1 1
.ds tp x\\n+(tp.png
.html - <center><img src="\\*(tp"></center>
.dp .TE troff2png >\\*(tp
..
.\}
.de TQ
.di TT
.nr IT 1
@ -818,9 +831,18 @@ Computing Science Technical Report No. \\*(MN
.in
.if \\n($1>0 .sp .65
..
.if h \{\
.de PS
.nr tp -1 1
.ds tp x\\n+(tp.png
.html - <center><img src="\\*(tp" /></center>
.dp .PE troff2png >\\*(tp
..
.\}
. \" .P1/.P2 macros for programs
.
.nr XP 1 \" delta point size for program
.if h .nr XP 0
.nr XV 1p \" delta vertical for programs
.nr XT 8 \" delta tab stop for programs
.nr DV .5v \" space before start of program
@ -832,10 +854,11 @@ Computing Science Technical Report No. \\*(MN
.br
.nr v \\n(.v
.di p1
.in \\n(P1u
.in +\\n(P1u
.nf
.ps -\\n(XP
.vs -\\n(XVu
.nr xx \\n(.sp
.ft CW
.nr t \\n(XT*\\w'x'u
.ta 1u*\\ntu 2u*\\ntu 3u*\\ntu 4u*\\ntu 5u*\\ntu 6u*\\ntu 7u*\\ntu 8u*\\ntu 9u*\\ntu 10u*\\ntu 11u*\\ntu 12u*\\ntu 13u*\\ntu 14u*\\ntu
@ -1565,6 +1588,50 @@ operating system\\$1
.if \\n(BQ .fi
.br
..
.if h \{\
.de B1
.margin 0
.nr TW 10
.nr TW1 80
.if !'\\$1'' .nr TW \\$1
.if !'\\$2'' .nr TW1 \\$2
.html pic \
<center>\
<table width=\\n[TW1]% cellspacing=0 cellpadding=0 border=0>\
<tr height=1>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td width=1 bgcolor=#000000 />\
</tr>\
<tr height=\\n(TW>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW />\
<td />\
<td width=\\n(TW />\
<td width=1 bgcolor=#000000 />\
</tr>
.html pic0 <tr>
.html pic1 <td width=1 bgcolor=#000000 /><td width=\\n(TW /><td>\}
..
.de B2
.html pic1 <td width=\\n(TW /><td width=1 bgcolor=#000000 />
.html pic0 <tr height=\\n(TW><td width=1 bgcolor=#000000 />\
<td width=\\n(TW /><td /><td width=\\n(TW />\
<td width=1 bgcolor=#000000 />\
</tr>\
<tr height=1>\
<td width=1 bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td bgcolor=#000000 />\
<td width=\\n(TW bgcolor=#000000 />\
<td width=1 bgcolor=#000000 />\
</tr>
.html pic \}
.margin 1
..
.\}
.de AT
.nf
.sp

View file

@ -71,12 +71,14 @@
.in 0
.ls 1
.if \\n(TB=0 .ev
.if \\n(TB=0 .KX
.if \\n(TB=0 .br
.if \\n(TB=0 .ev 2
.if \\n(TB=0 .KK
.ls
.ce 0
.if \\n(TB=0 .rm KK
.if \\n(TB=0 .KY
.if \\n(TB .da KJ
.if \\n(TB \!.KD \\n(dn \\n(KV
.if \\n(TB .KK