hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.LaTeX_maps
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
Synopsis
keyword_map
::
Map
String
Int
key_keyword_map
::
Map
Char
[
String
]
structid_map
::
Map
String
Int
key_structid_map
::
Map
Char
[
String
]
annotationbf_map
::
Map
String
Int
key_annotationbf_map
::
Map
Char
[
String
]
normal_map
::
Map
String
Int
key_normal_map
::
Map
Char
[
String
]
comment_map
::
Map
String
Int
key_comment_map
::
Map
Char
[
String
]
axiom_map
::
Map
String
Int
key_axiom_map
::
Map
Char
[
String
]
annotation_map
::
Map
String
Int
key_annotation_map
::
Map
Char
[
String
]
ligatures
::
Map
String
Bool
italiccorrection_map
::
Map
String
Int
Produced by
Haddock
version 0.6