| 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
|
| Sat, 07 Jul 2007 18:39:18 +0200 |
wenzelm |
added markup_chunks;
|
changeset |
files
|
| Sat, 07 Jul 2007 18:39:17 +0200 |
wenzelm |
added toplevel markup;
|
changeset |
files
|
| Sat, 07 Jul 2007 18:39:16 +0200 |
wenzelm |
use markup.ML earlier;
|
changeset |
files
|
| Sat, 07 Jul 2007 18:39:15 +0200 |
wenzelm |
removed obsolete disable_pr/enable_pr;
|
changeset |
files
|
| Sat, 07 Jul 2007 18:39:14 +0200 |
wenzelm |
pretty_goals_aux: subgoal markup;
|
changeset |
files
|
| Sat, 07 Jul 2007 18:39:12 +0200 |
wenzelm |
pr_goals: adapted Display.pretty_goals_aux;
|
changeset |
files
|
| Sat, 07 Jul 2007 12:16:20 +0200 |
wenzelm |
export attribute;
|
changeset |
files
|
| Sat, 07 Jul 2007 12:16:19 +0200 |
wenzelm |
pretty_sort/typ/term: markup;
|
changeset |
files
|