| Sun, 15 Jan 2006 20:00:59 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:57 +0100 |
wenzelm |
* Classical: optional weight for attributes;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:56 +0100 |
wenzelm |
guess: used fixed inferred_type of vars;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:55 +0100 |
wenzelm |
export add_args;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:54 +0100 |
wenzelm |
attributes: optional weight;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:53 +0100 |
wenzelm |
classical attributes: optional weight;
|
changeset |
files
|
| Sun, 15 Jan 2006 19:58:51 +0100 |
wenzelm |
prefer ex1I over ex_ex1I in single-step reasoning;
|
changeset |
files
|
| Sat, 14 Jan 2006 22:25:34 +0100 |
wenzelm |
generic attributes;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:20:51 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:15:24 +0100 |
wenzelm |
* ML/Isar: simplified treatment of user-level errors;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:18 +0100 |
wenzelm |
sane ERROR vs. TOPLEVEL_ERROR handling;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:17 +0100 |
wenzelm |
added Isar.toplevel;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:16 +0100 |
wenzelm |
Output.error_msg;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:15 +0100 |
wenzelm |
removed special ERROR handling stuff (transform_error etc.);
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:14 +0100 |
wenzelm |
added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:13 +0100 |
wenzelm |
Output.debug;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:11 +0100 |
wenzelm |
generated code: raise Match instead of ERROR;
|
changeset |
files
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
changeset |
files
|
| Fri, 13 Jan 2006 17:39:41 +0100 |
paulson |
blacklist experiments
|
changeset |
files
|
| Fri, 13 Jan 2006 17:39:19 +0100 |
paulson |
more readable divide ops
|
changeset |
files
|
| Fri, 13 Jan 2006 17:39:03 +0100 |
paulson |
more practical time limit
|
changeset |
files
|
| Fri, 13 Jan 2006 14:43:09 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:17 +0100 |
wenzelm |
mixfix: added Structure;
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:16 +0100 |
wenzelm |
uniform handling of fixes: read/cert_vars, add_fixes(_i), body flag;
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:15 +0100 |
wenzelm |
uniform handling of fixes;
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:11 +0100 |
wenzelm |
uniform handling of fixes;
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:08 +0100 |
wenzelm |
uniform handling of fixes;
|
changeset |
files
|
| Fri, 13 Jan 2006 01:13:06 +0100 |
wenzelm |
uniform handling of fixes;
|
changeset |
files
|