[isabelle] LateXsugar broken?


I have some minimalistic session containing the theory (importing Main
was well had no effect)

theory SugarTest
  imports LaTeXsugar
  term "if a then b else c"

According to the documentation (sugar.pdf) this should suffice to have
the "if" "then" "else" typeset in sans serif fonts. Unfortunately
neither this not any other syntactic sugar works with my Isabelle
environment. (Isabelle2008)

I uses the standard makefile generated by isatool mkdir and have only
added SugarTest to ROOT.ML Can someone reproduce this? (Whole session is

Am I missing something or is this really not working?

Christian Doczkal

Attachment: sugar.tgz
Description: application/compressed-tar

Attachment: smime.p7s
Description: S/MIME cryptographic signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.