| 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 |
| Fri, 13 Jan 2006 01:13:05 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Jan 2006 01:13:03 +0100 | wenzelm | generic_setup: optional argument, defaults to Context.setup(); | changeset | files |
| Fri, 13 Jan 2006 01:13:02 +0100 | wenzelm | added map_theory, map_proof; | changeset | files |