Sat, 21 Nov 1998 12:18:06 +0100 |
wenzelm |
print_state: use begin_goal from Goals.current_goals_markers;
|
changeset |
files
|
Sat, 21 Nov 1998 12:17:18 +0100 |
wenzelm |
added undos, redos;
|
changeset |
files
|
Sat, 21 Nov 1998 12:16:41 +0100 |
wenzelm |
tty: issue wakeup;
|
changeset |
files
|
Sat, 21 Nov 1998 12:16:15 +0100 |
wenzelm |
std_output, prefix_lines;
|
changeset |
files
|
Fri, 20 Nov 1998 10:37:12 +0100 |
paulson |
better miniscoping rules: the premise C~={} is not good
|
changeset |
files
|
Thu, 19 Nov 1998 11:49:57 +0100 |
wenzelm |
fixed method syntax;
|
changeset |
files
|
Thu, 19 Nov 1998 11:49:41 +0100 |
wenzelm |
break: exhibit state stack;
|
changeset |
files
|
Thu, 19 Nov 1998 11:49:09 +0100 |
wenzelm |
match_bind: 'as' patterns;
|
changeset |
files
|
Thu, 19 Nov 1998 11:47:56 +0100 |
wenzelm |
let: 'as' patterns;
|
changeset |
files
|
Thu, 19 Nov 1998 11:47:22 +0100 |
wenzelm |
match_bind(_i): 'as' patterns;
|
changeset |
files
|
Thu, 19 Nov 1998 11:46:24 +0100 |
wenzelm |
term_pat vs. prop_pat;
|
changeset |
files
|
Thu, 19 Nov 1998 11:45:26 +0100 |
wenzelm |
term_pat vs. prop_pat;
|
changeset |
files
|