| 2010-11-03 | haftmann | SMLdummy target | file | diff | annotate |
| 2010-09-27 | haftmann | combine quote and typewriter tag; typewriter considers isa@parindent | file | diff | annotate |
| 2010-09-24 | haftmann | separate quote tag from tt tag | file | diff | annotate |
| 2010-09-24 | haftmann | use typewriter tag instead of bare environment | file | diff | annotate |
| 2010-09-24 | haftmann | fixed small font size fore typewriter text | file | diff | annotate |
| 2010-09-23 | haftmann | more idiomatic handling of latex typewriter type setting | file | diff | annotate |
| 2010-09-23 | haftmann | more canonical type setting of type writer code examples | file | diff | annotate |
| 2010-09-20 | haftmann | \\isatypewrite now part of isabelle latex style | file | diff | annotate |
| 2010-08-13 | haftmann | ditem | file | diff | annotate |
| 2009-03-03 | haftmann | tuned manuals | file | diff | annotate |
| 2009-03-03 | haftmann | more canonical directory structure of manuals | file | diff | annotate | base |