| Sat, 11 Jun 2005 22:15:48 +0200 | wenzelm | refer to name spaces values instead of names; | changeset | files |
| Sat, 11 Jun 2005 22:15:47 +0200 | wenzelm | renamed Sign.intern_tycon to Sign.intern_type; | changeset | files |
| Sat, 11 Jun 2005 15:42:51 +0200 | wenzelm | fixed spelling; | changeset | files |
| Sat, 11 Jun 2005 12:55:25 +0200 | obua | further optimizations of cycle test | changeset | files |
| Fri, 10 Jun 2005 19:21:16 +0200 | nipkow | tuned | changeset | files |
| Fri, 10 Jun 2005 18:36:47 +0200 | nipkow | tuning | changeset | files |
| Fri, 10 Jun 2005 17:59:12 +0200 | nipkow | IntInf change | changeset | files |
| Fri, 10 Jun 2005 16:15:36 +0200 | quigley | All subgoals sent to the watcher at once now. | changeset | files |