| Sat, 07 Jul 2007 12:16:19 +0200 | wenzelm | pretty_sort/typ/term: markup; | changeset | files |
| Sat, 07 Jul 2007 12:16:18 +0200 | wenzelm | pretty: markup for syntax/name of authentic consts; | changeset | files |
| Sat, 07 Jul 2007 12:16:17 +0200 | wenzelm | depend on alist.ML, markup.ML; | changeset | files |
| Sat, 07 Jul 2007 12:16:16 +0200 | wenzelm | markup: emit as control information -- no indent text; | changeset | files |
| Sat, 07 Jul 2007 12:16:15 +0200 | wenzelm | added property conversions; | changeset | files |
| Sat, 07 Jul 2007 12:16:14 +0200 | wenzelm | position: line and name; | changeset | files |