#! /bin/sed -f
s/section&sstarf#star;/section/
s/^ṠS .*/
subsection/
s/^Ṡ .*/
section/
s/^ḂD
/
begindescription/s/˙ED/
enddescription
pagebreak/
s/^ḂF
/
beginitemize/s/˙EF/
enditemize
pagebreak/
s/^İT []* .* []*/
pagebreak
item[
makebox[-6pt]]
it
verb!!
hfil
indexKEY 2s/^ṖT []* .*/
pagebreak
item[
makebox[-6pt]]
it
verb!!
hfil
indexKEY 1s/^Ḋ []* [1 - 9]* .*/
predicate:-
indexKEY s/^Ċ []* [1 - 9]* .*/
predicate
indexKEY s/^Ċ []* 0/
noargpredicate
indexKEY 0s/^Ṗ []* .*/
prefix
indexKEY 1s/^İ []* .* []*/
infix
indexKEY 2s/^Ḟ .* []* [1 - 9]* .*/
function
indexKEY ()s/^Ḟ .* []* 0/
noargfunction
indexKEY ()s/^Ṁ .* []* [1 - 9]* .*/
macro
indexKEY ()s/^Ṁ .* []* 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