Tue, 10 Jul 2007 23:29:43 +0200 |
wenzelm |
more markup for inner and outer syntax;
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 16:46:37 +0200 |
wenzelm |
added print_mode setup (from pretty.ML);
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 15:45:34 +0200 |
aspinall |
Add widthN to signature
|
file |
diff |
annotate
|
Mon, 09 Jul 2007 23:12:35 +0200 |
wenzelm |
proper position markup;
|
file |
diff |
annotate
|
Sun, 08 Jul 2007 19:52:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 08 Jul 2007 13:10:51 +0200 |
wenzelm |
added markup for pretty printing;
|
file |
diff |
annotate
|
Sat, 07 Jul 2007 18:47:47 +0200 |
wenzelm |
make smlnj happy;
|
file |
diff |
annotate
|
Sat, 07 Jul 2007 18:39:17 +0200 |
wenzelm |
added toplevel markup;
|
file |
diff |
annotate
|
Sat, 07 Jul 2007 12:16:14 +0200 |
wenzelm |
position: line and name;
|
file |
diff |
annotate
|
Sat, 07 Jul 2007 00:17:10 +0200 |
wenzelm |
Common markup elements.
|
file |
diff |
annotate
|