| Wed, 03 Nov 2010 14:14:05 +0100 |
haftmann |
SMLdummy target
|
file |
diff |
annotate
|
| Mon, 27 Sep 2010 16:27:32 +0200 |
haftmann |
combine quote and typewriter tag; typewriter considers isa@parindent
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 16:09:54 +0200 |
haftmann |
separate quote tag from tt tag
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 14:56:16 +0200 |
haftmann |
use typewriter tag instead of bare environment
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 14:03:43 +0200 |
haftmann |
fixed small font size fore typewriter text
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 16:28:12 +0200 |
haftmann |
more idiomatic handling of latex typewriter type setting
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 15:46:17 +0200 |
haftmann |
more canonical type setting of type writer code examples
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 09:19:13 +0200 |
haftmann |
\\isatypewrite now part of isabelle latex style
|
file |
diff |
annotate
|
| Fri, 13 Aug 2010 13:43:55 +0200 |
haftmann |
ditem
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 13:20:53 +0100 |
haftmann |
tuned manuals
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 11:00:51 +0100 |
haftmann |
more canonical directory structure of manuals
|
file |
diff |
annotate
| base
|