| Fri, 23 Sep 2005 17:06:23 +0200 | haftmann | mkdir -p for symlinks | changeset | files |
| Fri, 23 Sep 2005 16:05:42 +0200 | nipkow | rules -> iprover | changeset | files |
| Fri, 23 Sep 2005 16:05:10 +0200 | webertj | spaces inserted in header | changeset | files |
| Fri, 23 Sep 2005 16:01:45 +0200 | webertj | header (title/ID) added | changeset | files |
| Fri, 23 Sep 2005 15:45:12 +0200 | webertj | typo fixed: rufute -> refute | changeset | files |
| Fri, 23 Sep 2005 15:38:22 +0200 | schirmer | bugfix in record_tr' | changeset | files |
| Fri, 23 Sep 2005 15:32:42 +0200 | wenzelm | method 'rules' renamed to 'iprover', which does *not* retrieve theorems from the Internet; | changeset | files |
| Fri, 23 Sep 2005 14:55:28 +0200 | wenzelm | Id; | changeset | files |