htmlize {dednat.lua - a program to typeset deduction trees} {

[P [COLOR red This is the wrong page!] You're looking for this: [HREF
dednat4.html dednat4.html].]

[P Using dednat.lua you can convert a TeX text with 2D deduction trees
in comments, like [AL dednat/example.tex this] -- that will look like
this screenshot:]

[IMAGE dednat/example_tex.png]

[BR]

[J in a properly-configured editor -- into this:]

[IMAGE dednat/example_dvi.png]

[HLIST1 {Main links:}
  [J The current version: [A0L tmp/dednat-0.01.tar.gz
     dednat-0.01.tar.gz]]
  [HLIST2 {Some files from the package:}
    [AL dednat/README README]
    [AL dednat/example.tex example.tex]
    [AL dednat/Makefile Makefile]
    [AL dednat/dednat.lua dednat.lua]
    [AL dednat/inc.lua inc.lua]
  ]
  [J The package that lets us change the console font and replace some
    unused symbols by others: [MYL vtutil.html vtutil].]
]

}