Contents of onlinetotex

#! /bin/sed -f s/section&sstarf#star;/section/ s/^ṠS .*/
subsection/ s/^Ṡ .*/
section/ s/^ḂD /
begindescription/s/^˙ED/
enddescription
pagebreak/ s/^ḂF /
beginitemize/s/^˙EF/
enditemize
pagebreak/ s/^İT [^]* .* [^]*/
pagebreak
item[
makebox[-6pt]]
it
verb!!
hfil

indexKEY 2s/^ṖT [^]* .*/
pagebreak
item[
makebox[-6pt]]
it
verb!!
hfil

indexKEY 1s/^Ḋ [^]* [1 - 9]* .*/
predicate:-
indexKEY s/^Ċ [^]* [1 - 9]* .*/
predicate
indexKEY s/^Ċ [^]* 0/
noargpredicate
indexKEY 0s/^Ṗ [^]* .*/
prefix
indexKEY 1s/^İ [^]* .* [^]*/
infix
indexKEY 2s/^Ḟ .* [^]* [1 - 9]* .*/
function
indexKEY ()s/^Ḟ .* [^]* 0/
noargfunction
indexKEY ()s/^Ṁ .* [^]* [1 - 9]* .*/
macro
indexKEY ()s/^Ṁ .* [^]* 0/
noargmacro
indexKEY ()t s/ [a - z][a - zA - Z0 - 9_]*[0 - 9]/
tt /g s/ [a - z][a - zA - Z0 - 9_]*

/
tt /g t

s/
begincode/&/ t verb b

:verb n s/
version/Welcome to SWI-Prolog (version 1.5.0, August 1990)/ t verb s/
endcode/&/ t b verb