doc-src/Classes/style.sty
2010-09-27 haftmann 2010-09-27 combine quote and typewriter tag; typewriter considers isa@parindent
2010-09-24 haftmann 2010-09-24 use typewriter tag instead of bare environment
2010-09-24 haftmann 2010-09-24 fixed small font size fore typewriter text
2010-09-23 haftmann 2010-09-23 more idiomatic handling of latex typewriter type setting
2010-09-23 haftmann 2010-09-23 more canonical type setting of type writer code examples
2010-09-20 haftmann 2010-09-20 \\isatypewrite now part of isabelle latex style
2009-03-03 haftmann 2009-03-03 tuned manuals
2009-03-03 haftmann 2009-03-03 more canonical directory structure of manuals