search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

generate (x)html code from Doc #55

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/55

casl-cosit.sty casl-cosit.tex

generate more readable LaTeX-code see listings.sty for LaTeX generation (usually, you can find it at /usr/share/texmf/tex/latex/listings/listings.sty). See also the attached sample paper using listings.sty

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/55#comment:3

These are two tasks:

  1. generate html (or xhtml)
  2. generate more readable LaTeX The problem with both is the computation of line breaks. It can be done within haskell as currently done by Common.Lib.Pretty or by a direct translation of a Common.Doc.Doc. The current LaTeX is also ugly because some identifiers are generated with labels that are different from their corresponding identifiers because labels must not contain special characters. How important is this ticket really? Should a student do it?