LaTeX_COL.hs revision 881f43de18aeae879886be203cd32e90051799c0
e07d9cb85217949d497b02d7211de8a197d2f2ebzf{- |
1a932f2eab9b00d713acc4205d96ca2485bf2712Quaker FangModule : $Header$
e07d9cb85217949d497b02d7211de8a197d2f2ebzfCopyright : (c) Christian Maeder and Uni Bremen 2004
e07d9cb85217949d497b02d7211de8a197d2f2ebzfLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfMaintainer : hets@tzi.de
e07d9cb85217949d497b02d7211de8a197d2f2ebzfStability : experimental
e07d9cb85217949d497b02d7211de8a197d2f2ebzfPortability : portable
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzf latex output of the abstract syntax
e07d9cb85217949d497b02d7211de8a197d2f2ebzf-}
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfmodule Modal.LaTeX_Modal where
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfimport Modal.AS_Modal
e07d9cb85217949d497b02d7211de8a197d2f2ebzfimport Modal.ModalSign
e07d9cb85217949d497b02d7211de8a197d2f2ebzfimport Modal.Print_AS
e07d9cb85217949d497b02d7211de8a197d2f2ebzfimport Common.PrettyPrint
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfinstance PrintLaTeX M_FORMULA where
e07d9cb85217949d497b02d7211de8a197d2f2ebzf printLatex0 = printText0
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfinstance PrintLaTeX M_SIG_ITEM where
e07d9cb85217949d497b02d7211de8a197d2f2ebzf printLatex0 = printText0
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfinstance PrintLaTeX M_BASIC_ITEM where
e07d9cb85217949d497b02d7211de8a197d2f2ebzf printLatex0 = printText0
e07d9cb85217949d497b02d7211de8a197d2f2ebzf
e07d9cb85217949d497b02d7211de8a197d2f2ebzfinstance PrintLaTeX ModalSign where
e07d9cb85217949d497b02d7211de8a197d2f2ebzf printLatex0 = printText0
e07d9cb85217949d497b02d7211de8a197d2f2ebzf