| Sun, 08 Jul 2007 13:10:54 +0200 | wenzelm | export mode_markup; | changeset | files |
| Sun, 08 Jul 2007 13:10:51 +0200 | wenzelm | added markup for pretty printing; | changeset | files |
| Sun, 08 Jul 2007 12:20:56 +0200 | chaieb | Corrected erronus use of compiletime context to the runtime context | changeset | files |
| Sat, 07 Jul 2007 18:47:47 +0200 | wenzelm | make smlnj happy; | changeset | files |
| Sat, 07 Jul 2007 18:39:21 +0200 | wenzelm | toplevel prompt/print_state: proper markup, removed hooks; | changeset | files |
| Sat, 07 Jul 2007 18:39:20 +0200 | wenzelm | toplevel prompt/print_state: proper markup, removed hooks; | changeset | files |
| Sat, 07 Jul 2007 18:39:19 +0200 | wenzelm | pretty_state: subgoal markup; | changeset | files |